Fix the copy operator

library/collection/List.scala

library/lang/Option.scala

library/lang/package.scala

src/main/scala/leon/frontends/scalac/ASTExtractors.scala

src/main/scala/leon/purescala/Definitions.scala

...ources/regression/verification/purescala/valid/Copy.scala