Injector MkSkipNode

A control-flow node that represents a no-op.

These control-flow nodes correspond to Go statements that have no runtime semantics other than potentially influencing control flow: the branching statements continue, break, fallthrough and goto; empty blocks; empty statements; and import and type declarations.