In `translateIncrementalTrivial()`, there's a call `transl.cnf().free();` here. Any reason why isn't this in the checkpointed version of the method?