FSM 1 now use guards (untested)
Fix `get_times()`
Implement runtime too short guards on FSM 1
Merge branch 'develop' of https://github.com/Hamdor/SE2-2.3 into develop