Temporal logic can be used only on transitions that are reachable from exactly one state

Temporal conditions cannot be defined on default transitions
Temporal conditions cannot be defined within functions

cdr