construct points-to set query based on the call edges.