prop incorrect result
Benchmark: ex21-upg2.c (attached)
How to run:
./hifrog --logic prop ex21-upg2.
reported as Successful but I think a= 1 and b=1 is a CEX. Surprisingly CBMC also agrees as Successful!