@Override public void undo() throws CannotRedoException { super.undo(); for (Variable var : deletedVariables) { model.addVariable(var); } }