public ProgramState PushValues(IEnumerable <SymbolicValue> values)
{
if (!values.Any())
{
return(this);
}
return(new ProgramState(
Values,
Constraints,
ProgramPointVisitCounts,
ImmutableStack.Create(ExpressionStack.Concat(values).ToArray()),
Relationships));
}