HomeIsabelle/Phabricator

don't apply abduction and consistency checking to goals of the form 'False'