Teleport / transition to does not combine with onentry spawn statements

[jfabry]

Code:

(machine m
(var top := [0])
(state one
(machine nest
(var in := [0])
(state none (onentry [in := in + 1])))
(onentry (spawn nest none))
)
(state two
(machine nest2
(var in2 := [0])
(state none)
(state ntwo (onentry [in2 := in2 + 1]))
(ontime 500 none -> ntwo)
(ontime 500 ntwo -> none)
)
(onentry (spawn nest2 ntwo)))
)
(spawn m one)

Do a teleport or transition to state two and you will see that the spawn statement has not been executed. Do we have a test for this? If not it should be added.