Add a new pass "inductive range check elimination"