Moar files

src/main/scala/leon/synthesis/Rules.scala

src/main/scala/leon/synthesis/rules/ADTDual.scala

src/main/scala/leon/synthesis/rules/Assert.scala

src/main/scala/leon/synthesis/rules/CaseSplit.scala

src/main/scala/leon/synthesis/rules/Cegis.scala

src/main/scala/leon/synthesis/rules/EqualitySplit.scala

src/main/scala/leon/synthesis/rules/Ground.scala

src/main/scala/leon/synthesis/rules/IntegerEquation.scala

src/main/scala/leon/synthesis/rules/OnePoint.scala

src/main/scala/leon/synthesis/rules/OptimisticGround.scala

...main/scala/leon/synthesis/rules/UnconstrainedOutput.scala

src/main/scala/leon/synthesis/rules/Unification.scala

src/main/scala/leon/synthesis/rules/UnusedInput.scala