Invariant for loop [anonymous_loop_0] is 0 <= d.contents /\ d.contents <= 101
Domains for loop [anonymous_loop_0] are d = [0;101]
File bench/infer/support4.mlw:
Goal example_scan'vc.
Prover result is: Valid (0.00s, 10 steps).

