Remove global state in Termination

src/main/scala/leon/termination/ChainBuilder.scala

src/main/scala/leon/termination/ChainComparator.scala

src/main/scala/leon/termination/ChainProcessor.scala

...in/scala/leon/termination/ComplexTerminationChecker.scala

src/main/scala/leon/termination/ComponentProcessor.scala

src/main/scala/leon/termination/LoopProcessor.scala

src/main/scala/leon/termination/Processor.scala

src/main/scala/leon/termination/RecursionProcessor.scala

src/main/scala/leon/termination/RelationBuilder.scala

src/main/scala/leon/termination/RelationComparator.scala

src/main/scala/leon/termination/RelationProcessor.scala

src/main/scala/leon/termination/StructuralSize.scala