Predicate getMaxElementContentIndirectionIndex
Gets the maximum number of indirections to use for ElementContent.
This should be equal to the largest number of stars (i.e., *s) in any
Element content across all of our MaD summaries, sources, and sinks.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate