Type signature TypeTrackingInput::LocalSourceNode
A node that is the source of local flow. This defines the end-points of the
big-step relation used by type-trackers once the transitive closure of
simpleLocalFlowStep
is prepended to the other steps.