public ExplodedGraphNode(ProgramPoint programPoint, ProgramState programState) { ProgramState = programState; ProgramPoint = programPoint; }
public virtual ProgramState PreProcessInstruction(ProgramPoint programPoint, ProgramState programState) { return(programState); }