Start trans-tree traversals

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

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

src/main/scala/inox/ast/GenTreeOps.scala

src/main/scala/inox/ast/Identifier.scala

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

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

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

src/main/scala/inox/ast/TypeOps.scala

src/main/scala/inox/ast/Types.scala

src/main/scala/inox/grammars/FunctionCallsGrammars.scala

src/main/scala/inox/grammars/aspects/SimilarToAspects.scala

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

src/main/scala/inox/package.scala

src/main/scala/inox/solvers/ADTManagers.scala

src/main/scala/inox/solvers/Solver.scala

src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala

...main/scala/inox/solvers/unrolling/DatatypeTemplates.scala