Junction1

State Kind

JunctionPoint

Parent State

check_for_stopsignal