Predicate PointsTo::childrenByElement

The same as children(), except that the label is an element.

predicate childrenByElement(int parentset, Element label, int childset)