Illegal Ada generated in transition from "any" state symbol
Seen in OpenGeode 3.11.1 and 4.1.15
This transition generates illegal Ada:
when 4 =>
-- get_sender(sender) (1,5)
RI_0_get_sender(ctxt.sender);
-- EnqueueTC(newTC) (224,17)
p_0_EnqueueTC(ctxt.newTC);
-- NEXT_STATE - (226,22) at 288, 760
case ctxt.State is
when =>
trId := next_timeslot_0_START;
when others =>
trId := -1;
end case;
Note: in case it is significant, this signal may be received while the FSM is inside a nested state.