CFG size: 45 nodes, 46 hyperedges
Time elapsed 0.029325s
### Debug: inferred invariants ###
((contents y = contents x /\ 0 <= contents x) /\ contents x <= 11) /\
contents x = contents y
###
File bench/infer/ifint.mlw:
Goal test1'vc.
Prover result is: Valid (0.00s, 12 steps).

