debugging: Do not add (new) version when lazily rewriting