Holds if evaluation of root may complete normally after last.
Import path
import semmle.go.controlflow.ControlFlowGraphImplpredicate lastNode(ControlFlowTree root, Node last)Holds if evaluation of root may complete normally after last.
import semmle.go.controlflow.ControlFlowGraphImplpredicate lastNode(ControlFlowTree root, Node last)