void RemoveVariable (VariableDefinition variable)
		{
			context.RemoveVariable (variable);
			not_assigned.Remove (variable);
		}