Fix rewrite_loop_bound_expression invocation