Invariant for loop [anonymous_loop_0] is 0 <= x /\ x <= 101
Domains for loop [anonymous_loop_0] are x = [0;101]
File bench/infer/while_inv_loc_var.mlw:
Goal main'vc.
Prover result is: Valid (0.00s, 12 steps).

