HomeIsabelle/Phabricator

Change optimiser as a result of change to tests of booleans.