Invariant for loop [anonymous_loop_0] is (0 <= !x /\ !x <= 11) /\ !y = !x
Domains for loop [anonymous_loop_0] are x = [0;11]; y = [0;11]
File bench/infer/ifint.mlw:
Goal test1'vc.
Prover result is: Valid (0.00s, 13 steps).

