Taught the constraint collector to recognize inttoptr+ptrtoint
Taught the constraint collector to recognize inttoptr+ptrtoint

grievejia/andersen,grievejia/andersen,grievejia/andersen,f0rki/andersen,f0rki/andersen,grievejia/andersen,f0rki/andersen,f0rki/andersen