adding refutations based on intersecting pts-to set of function parameters and constraints