private bool IsEnvironmentVariable(AbstractTerm Vn, AbstractMachineState state)
{
// required, otherwise it will crash
if (state.E == null)
return false;
for (AbstractTerm a = state.E.PermanentVariables; a != null; a = (AbstractTerm)a.Next)
{
if (a == Vn)
{
return true;
}
}
return false;
}