Predicate PointsTo::pointer

The source is a pointer to the destination.

predicate pointer(Element src, Element dest)