HomeIsabelle/Phabricator

more simp rules