// Clone the points-to info, replace the stack, and leave nothing alive
public InnerMachineState CloneForward(IImSeq <StackEntryState> stack)
{
return(new InnerMachineState(stack, ArgsLocalsState.CloneForward()));
}
// Clone the points-to info, replace the stack, and leave nothing alive
public InnerMachineState CloneForward(IImSeq <StackEntryState> stack)
{
return(new InnerMachineState(stack, ArgsLocalsState.CloneForward()));
}