Taught the constraint collector to recognize inttoptr+ptrtoint