HomeIsabelle/Phabricator

Avoid overaggresive simplification.