support multiple undo/redo in utility graphs; some refactoring in domains; fix unique values check in alternatives panel