Compiles!! Wouhoouuuuu!!

src/main/scala/inox/InoxContext.scala

src/main/scala/inox/InoxOptions.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/Trees.scala

src/main/scala/inox/evaluators/Evaluator.scala

src/main/scala/inox/evaluators/SolvingEvalInterface.scala

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

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