[cvs-nhc98] Ensure that the trace also contains a ConstUse for the Con