CFG size: 54 nodes, 55 hyperedges
Time elapsed 26.212145s
### Debug: inferred invariants ###
(((0 = contents y /\ 0 = contents x) /\ contents x = 0) /\ contents y = 0 \/
 52 <= contents x \/ contents x <= 51 /\ 0 < contents y) /\
0 <= (1 + contents y)
###
File bench/infer/junjie.mlw:
Goal b'vc.
Prover result is: Unknown () (0.02s).

