Invariant for loop [anonymous_loop_0] is
  (0 <= i.contents /\ i.contents <= 105) /\ o = 0
Domains for loop [anonymous_loop_0] are o = [0;0]; i = [0;105]
File bench/infer/while6.mlw:
Goal b'vc.
Prover result is: Unknown () (0.03s).

