Some improvements
modified:   examples/Sample1.yaml
modified:   src/Data/Sysctrl/Types/Internal/Automata.hs
modified:   src/Sysctrl/Control.hs
modified:   src/Sysctrl/Util.hs