copy_with_e_annotation

See copy_with_e_generator