UnfoldRev function
resolve transitions conflicts by priority relation
fix actions generation, skip exit points in transition traversing
fix submachine states binding