Child states exited, not re-entered after targetless transition in parent state

Hi,

I've noticed a problem with test403b where event2 is never matched in state
p0s1.
On closer inspection it appears that the interpretation algorithm currently
causes p0s1 and p0s2 to exit when p0's inner transition is taken, but they
are not re-entered thereafter.

Given p0's inner transition is targetless, should p0s1 and p0s2 be exited
in the first place?

Thanks,
Zjnue