Some brief notices on dynamic slicing of provers
Contact holger ATT blasum DOTT net for info to make it useful.
Slicing or "dynamic slicing" or "tree-shaking" is understood as taking a runtime image of
commands run in an interpreted language on user-defined input.
How to obtain slices
What to do with slices