Type MkAssignNode
A control-flow node that represents a (single) assignment.
Assignments with multiple left-hand sides are split up into multiple assignment nodes,
one for each left-hand side. Assignments to _ are not represented in the control-flow graph.
Import path
import semmle.go.controlflow.ControlFlowGraphImpl