public ProgramState PushWithConstraint()
{
var refEquals = new ReferenceEqualsSymbolicValue(valueLeft, valueRight);
var newProgramState = programState.PushValue(refEquals);
return(SetConstraint(refEquals, newProgramState));
}
private ProgramState HandleNameofExpression()
{
// The nameof arguments are not on the stack, we just push the nameof result
var nameof = new SymbolicValue();
var newProgramState = programState.PushValue(nameof);
return(newProgramState.SetConstraint(nameof, ObjectConstraint.NotNull));
}