Predicate PointsTo::children

The points-to set parentset, when dereferenced using the given label, gives values in the points-to set childset.

predicate children(int parentset, string label, int childset)