local transition checking
exit point syntax from transition target