Predicate getCallableForDataFlow
Gets a source declaration of callable c
that has a body or has
a flow summary.
If the callable has both CIL and source code, return only the source code version.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatch