HomeIsabelle/Phabricator

mild renamings in saturation framework