Initialization Step done
modified:   Sysctrl/TODO.org
modified:   Sysctrl/src/Sysctrl/Init.hs
modified:   Sysctrl/src/Sysctrl/Init/Automata.hs