Test base should be preserved along loop iterations

src/main/scala/leon/synthesis/rules/CEGISLike.scala

src/main/scala/leon/synthesis/rules/unused/TEGISLike.scala

src/main/scala/leon/utils/GrowableIterable.scala