add some necessary print info in DemandPointsTo to indicate which case the query is in