From the spec port section 2.9.17 > Inserts the input ZSet into the input Trace (TODO maybe not needed anymore).