Corrected some issues with termination proving.

src/main/scala/leon/purescala/TreeOps.scala

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/ComponentBuilder.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

...ain/scala/leon/termination/SimpleTerminationChecker.scala

src/main/scala/leon/termination/Strengthener.scala

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

src/main/scala/leon/termination/TerminationChecker.scala

src/main/scala/leon/utils/SCC.scala

src/main/scala/leon/verification/DefaultTactic.scala

...t/resources/regression/termination/looping/Numeric3.scala