Predicate flowToCompound

There is a flow from src to the compound (destParent, destLabel).

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate flowToCompound(Element destParent, string destLabel, Element src)