mu-mmint: Add decision tree for StateMachine_MAVO diagram