refactoring
state name restrictions reduced (must not contain space)
transitions locked deeply
construction refactored
typos
microoptimization
sets refactored
transition targets locked after adding