check_condition now properly reports errors and infers type variables
check_condition now properly reports errors and infers type variables

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