adjust copy2 verison of copy to use generator

Running time parts of the proofs admitted