Progress on unrolling solver

src/main/scala/inox/Program.scala

src/main/scala/inox/ast/CallGraph.scala

src/main/scala/inox/ast/Constructors.scala

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

src/main/scala/inox/ast/Definitions.scala

src/main/scala/inox/ast/ExprOps.scala

src/main/scala/inox/ast/Expressions.scala

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

src/main/scala/inox/ast/Paths.scala

src/main/scala/inox/ast/Printers.scala

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

src/main/scala/inox/ast/TreeOps.scala

src/main/scala/inox/ast/Trees.scala

src/main/scala/inox/evaluators/DefaultEvaluator.scala

src/main/scala/inox/evaluators/RecursiveEvaluator.scala

src/main/scala/inox/evaluators/SolvingEvaluator.scala

src/main/scala/inox/grammars/utils/Helpers.scala

src/main/scala/inox/solvers/theories/ArrayEncoder.scala

src/main/scala/inox/solvers/theories/StringEncoder.scala

src/main/scala/inox/solvers/theories/TheoryEncoder.scala