CFG size: 65 nodes, 65 hyperedges
Time elapsed 0.103039s
### Debug: inferred invariants ###
(((contents x = True /\ contents y = True) /\ contents z = True) /\
 contents a = True \/
 (contents z = contents x /\ contents a = contents x) /\ False = contents x \/
 (contents z = contents y /\ contents a = contents y) /\ False = contents y) /\
contents a = contents z
###
File bench/infer/bool_ops.mlw:
Goal f'vc.
Prover result is: Valid (0.00s, 6 steps).

