public SemanticSlicer(Microsoft.Boogie.Implementation implementation, Microsoft.Boogie.Program boogieProgram)
{
Debug.Assert(implementation != null);
Debug.Assert(boogieProgram != null);
this.implementation = implementation;
this.boogieProgram = boogieProgram;
}
public InvalidEntryPoint(Executor executor, Microsoft.Boogie.Implementation impl) : base(executor, "Implementation in not a valid entry point")
{
this.Impl = impl;
}