I erroneously added this sanity check and wondered why I see the output without crash...

I erroneously added this sanity check and wondered why I see the output without crashing the analysis.  Actually, when an edge in the callee HRN1->HRN2 is being mapped into the caller, if HRN1 is a callee parameter object then it's ID will definitely not be in the caller already.  And the method getHRNSetThatPossiblyMapToCalleeHRN() recognizes that and does the right thing already, so the sanity check was reporting a non-existent problem.