Going over orb with IntelliJ inspection

...ain/scala/leon/invariant/datastructure/DisjointSets.scala

src/main/scala/leon/invariant/datastructure/Graph.scala

src/main/scala/leon/invariant/datastructure/Maps.scala

.../leon/invariant/engine/CompositionalTimeBoundSolver.scala

src/main/scala/leon/invariant/engine/ConstraintTracker.scala

...in/scala/leon/invariant/engine/InferInvariantsPhase.scala

src/main/scala/leon/invariant/engine/InferenceContext.scala

src/main/scala/leon/invariant/engine/InferenceEngine.scala

src/main/scala/leon/invariant/engine/InferenceReport.scala

src/main/scala/leon/invariant/engine/SpecInstantiator.scala

...main/scala/leon/invariant/engine/TemplateEnumerator.scala

...scala/leon/invariant/engine/UnfoldingTemplateSolver.scala

src/main/scala/leon/invariant/factories/AxiomFactory.scala

...main/scala/leon/invariant/factories/TemplateFactory.scala

...scala/leon/invariant/factories/TemplateInstantiator.scala

...cala/leon/invariant/factories/TemplateSolverFactory.scala

src/main/scala/leon/invariant/structure/Constraint.scala

src/main/scala/leon/invariant/structure/Formula.scala

...scala/leon/invariant/structure/LinearConstraintUtil.scala

...in/scala/leon/invariant/templateSolvers/CegisSolver.scala