Predicate getTypeImpl
INTERNAL: Do not use.
Returns t, but stripped of the outer-most indirectionIndex number of indirections.
If indirectionIndex cannot be stripped off t, an UnknownType is returned.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilType getTypeImpl(Type t, int indirectionIndex)