Invariant for loop [anonymous_loop_0] is 0 <= c /\ c <= 100
Domains for loop [anonymous_loop_0] are c = [0;100]; b = top
File bench/infer/precision4.mlw:
Goal f'vc.
Prover result is: Valid (0.00s, 20 steps).

