Invariant for loop [anonymous_loop_0] is x.contents = True
Domains for loop [anonymous_loop_0] are x = true
File bench/infer/while_break_bool.mlw:
Goal f'vc.
Prover result is: Valid (0.00s, 12 steps).

