Invariant for loop [anonymous_loop_0] is
  (y.contents <= x.contents /\ 0 <= y.contents) /\ x.contents <= 11
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.01s, 30 steps).

