Add get_available_transitions for fsm