Take precondition of function into account when simplifying Solution

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/synthesis/Solution.scala

src/main/scala/leon/synthesis/SynthesisPhase.scala

src/main/scala/leon/synthesis/Synthesizer.scala

...scala/leon/regression/synthesis/StablePrintingSuite.scala