work on expressions in guard
add car fsm picture
traversable expressions, work on expression in guard, refactoring guard
ignores
merge flags in parser, bool expression literal
work on resolve conflicting transitions
initial transition may not have guards
conflicted transitions, and override algorithms updated