Split witnesses and path condition.

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

src/main/scala/leon/refactor/Repairman.scala

src/main/scala/leon/synthesis/Problem.scala

src/main/scala/leon/synthesis/heuristics/ADTInduction.scala

...in/scala/leon/synthesis/heuristics/ADTLongInduction.scala

src/main/scala/leon/synthesis/heuristics/IntInduction.scala

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

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

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

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

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

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

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

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

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

...main/scala/leon/synthesis/rules/IntegerInequalities.scala

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

src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala

src/main/scala/leon/synthesis/utils/Helpers.scala

src/main/scala/leon/utils/Simplifiers.scala