Predicate PointsTo::pointerFromCompound

The compound (parent, label) holds pointers to dest.

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