Predicate PointsTo::flowToCompound

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

predicate flowToCompound(Element destParent, string destLabel, Element src)