Holds if evaluation of root may start at first.
Import path
import semmle.go.controlflow.ControlFlowGraphImplpredicate firstNode(ControlFlowTree root, Node first)Holds if evaluation of root may start at first.
import semmle.go.controlflow.ControlFlowGraphImplpredicate firstNode(ControlFlowTree root, Node first)