Simplify the implementation of getUnderlyingObjectsForInstr, without intending to change the semantics at all.