On 02/08/11 11:41, Armin Rigo wrote: > Then it has nothing to do with unrolling: it should be renamed to > something like "look_inside_if". It just happens to mean, as a > side-effect, "if the condition is true, then look inside even in case > there is a loop, thus unrolling it". look_inside_and_maybe_unroll_if?