org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback

Class BranchingTracebackStep<E extends OCLExpression>