Fixed some stuff up in termination

library/collection/List.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/ProcessingPipeline.scala

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

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

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

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

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

src/main/scala/leon/termination/TerminationPhase.scala

...test/resources/regression/termination/looping/Queue.scala

src/test/resources/regression/termination/valid/Queue.scala