HomeIsabelle/Phabricator

added possibility of extra options to SMT slices