More generic methods for printing traces.
Forward slicing semantics of traces.
Initial/final conditions for forward slicing.
Transformed retracer that also performs forward slicing.
Backward slicing as a "delayed retraction" of the trace.
Backward slicing description.