Predicate PointsTo::flowFromCompound

There is a flow from the compound (parent, label) to dest.

predicate flowFromCompound(Element parent, string label, Element dest)