Test over "correct" Added
modified:   Sysctrl/TODO.org
modified:   Sysctrl/src/Data/Sysctrl/Types/Internal/Automata.hs