Tidy up testcases

testcases/synthesis/ADTInduction.scala

testcases/synthesis/CegisExamples.scala

testcases/synthesis/ChoosePos.scala

testcases/synthesis/Sec2Time.scala

testcases/synthesis/Simple.scala

testcases/synthesis/SimplestCegis.scala

testcases/synthesis/Spt.scala

...abd/benchmarks/AddressBook/AddressesMakeAddressBook.scala

...rks/AddressBook/AddressesMakeAddressBookWithHelpers.scala

...d/benchmarks/AddressBook/AddressesMergeAddressBooks.scala

testcases/synthesis/future/Simplifier.scala

testcases/synthesis/future/Simplifier1.scala

testcases/synthesis/future/Simplifier2.scala

testcases/synthesis/future/Simplifier3.scala

testcases/synthesis/future/SortedList.scala

...sis/oopsla2013/AddressBook/AddressesMakeAddressBook.scala

...psla2013/AddressBook/AddressesMakeAddressBookStrong.scala

...2013/AddressBook/AddressesMakeAddressBookSynthWrong.scala

...013/AddressBook/AddressesMakeAddressBookWithHelpers.scala

...s/oopsla2013/AddressBook/AddressesMergeAddressBooks.scala