Invariant for loop [anonymous_loop_0] is
  if b = True then 2 <= x /\ x <= 51 else 0 <= x /\ x <= 102
Domains for loop [anonymous_loop_0] are b = top; x = [0;102]
File bench/infer/sttt.mlw:
Goal toy'vc.
Prover result is: Valid (0.00s, 43 steps).

