Simpler more accurate tracking of callSSA