HomeIsabelle/Phabricator

avoid overaggressive default simp rules