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