Make the call graph more precise despite the hated constantpointerrefs.