Use dicts for FSM transition data structure