Type signature InputSig::DataFlowSecondLevelScope
A second-level control-flow scope in a callable.
This is used to provide a more fine-grained separation of a callable context for the purpose of identifying uncertain control flow. For most languages, this is not needed, as this separation is handled through virtual dispatch, but for some cases (for example, C++) this can be used to identify, for example, large top-level switch statements acting like virtual dispatch.