Stop and Prune play key roles in the control of the follow-up execution flow.

▪Stop in Diagnosis is equivalent to adding a special follow-up NI. It disables all diagnosis by follow-up NIs in other branches if diagnosis in current branch is found true.

▪Prune other follow-up intents: Continue the diagnosis of follow-up NI in current branch, but Prune other branch’s follow-up Ni execution, if those NIs do not have prune flag set.