Took the verification time of mcas.c (using Redux) from 20s to 10s by eliminating a premature case split (by encapsulating it inside a predicate).
Took the verification time of mcas.c (using Redux) from 20s to 10s by eliminating a premature case split (by encapsulating it inside a predicate).

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast