HomeIsabelle/Phabricator

crude implementation of centralized slicing