Junction0
State Kind
JunctionPoint
Parent State
TOP