clean up some scala2013 testcases

testcases/verification/PropositionalLogic.scala

testcases/verification/algorithms/Sorting.scala

testcases/verification/datastructures/AssociativeList.scala

testcases/verification/datastructures/SearchLinkedList.scala

testcases/verification/scala2013/AmortizedQueue.scala

testcases/verification/scala2013/ListOperations.scala

testcases/verification/scala2013/PropositionalLogic.scala

testcases/verification/scala2013/RedBlackTree.scala

testcases/verification/scala2013/SumAndMaxImp.scala

testcases/verification/xlang/AmortizedQueue.scala

testcases/verification/xlang/Arithmetic.scala

testcases/verification/xlang/AssociativeList.scala

testcases/verification/xlang/ListOperations.scala