All integration tests pass

build.sbt

.../inox/solvers/unrolling/AssociativeQuantifiersSuite.scala

...cala/inox/solvers/unrolling/InductiveUnrollingSuite.scala

...t/scala/inox/solvers/unrolling/SimpleUnrollingSuite.scala

src/main/scala/inox/ast/DSL.scala

src/main/scala/inox/ast/Extractors.scala

src/main/scala/inox/ast/SymbolOps.scala

...cala/inox/solvers/unrolling/QuantificationTemplates.scala

src/main/scala/inox/solvers/unrolling/UnrollingSolver.scala

src/main/scala/inox/utils/IncrementalSeq.scala