Local termination means that once an action block is entered,
it can be exited by a null transition only if its final state has
been reached.
A null transition is any transition without a trigger
(event or timeout). A null transition can have a guard.