fix handling of bounds in conseq equiv phoare #837
+62
−11
Merged
Loading