Started working on tests

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

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

src/test/scala/inox/InoxTestSuite.scala

src/test/scala/inox/SolvingTestSuite.scala

src/test/scala/inox/TestSilentReporter.scala

src/test/scala/inox/regression/SimpleQuantifiersSuite.scala

src/test/scala/inox/unit/evaluators/EvaluatorSuite.scala

src/test/scala/inox/unit/orb/OrbUnitTestSuite.scala

...est/scala/inox/unit/purescala/DependencyFinderSuite.scala

src/test/scala/inox/unit/solvers/SolverPoolSuite.scala

src/test/scala/inox/unit/synthesis/AlgebraSuite.scala

...test/scala/inox/unit/synthesis/LinearEquationsSuite.scala

...st/scala/inox/unit/trees/DefinitionTransformerSuite.scala

src/test/scala/inox/unit/trees/ExprOpsSuite.scala

src/test/scala/inox/unit/trees/ExtractorsSuite.scala

src/test/scala/inox/unit/trees/SimplifyLetsSuite.scala

src/test/scala/inox/unit/trees/TreeNormalizationsSuite.scala

src/test/scala/inox/unit/trees/TreeTestsSuite.scala

src/test/scala/inox/unit/trees/TypeOpsSuite.scala

src/test/scala/inox/unit/utils/FunctionClosureSuite.scala