/* For backwards compatibility */
import PointsTo::PointsTo as P