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