“…Analogously to the old method, the new method repairs the type of an entry when a mismatch is encountered, however the value at that entry is kept (not re-sampled) if that value could have been obtained by running the elementary random function linked with the new entry type. For example, if the type and value of an entry in the trace is random.choice( [1,2,3]) : 2 and the required type from that generator is random.choice( [2,3,4]), the value 2 at that entry can be "recycled" as it could have been obtained from random.choice( [2,3,4]), and only the type of the entry is amended, giving random.choice ([2,3,4]…”