Predicate PointsTo::pointerToCompound

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