A control-flow node that represents the implicit declaration of the
variable lv in case clause cc and its assignment of the value
switchExpr from the guard. This only occurs in case clauses in a type
switch statement which declares a variable in its guard.
Import path
import semmle.go.controlflow.ControlFlowGraphImpl