Subgraph HALT (STOP)