"correct" function fixed
modified:   Sysctrl/TODO.org
modified:   Sysctrl/src/Data/Sysctrl/Types/Internal/Automata.hs