Node is deemed causal but rejected as unschedulable
The following node is accepted by causality analysis but fails to schedule.
node cannot_schedule() returns ()
var last x: int = 0;
let
automaton
state A
do x = 0
state B
do
unless x = 0 then B
end
tel
See bug.ept.