A control-flow node that represents the implicit selection of a field when accessing a promoted field.
If that field has a pointer type then this control-flow node also represents an implicit dereference of it.
Import path
import semmle.go.controlflow.ControlFlowGraphImpl