SimplifierWithPaths optionally takes initial path condition

src/main/scala/leon/purescala/ExprOps.scala

src/main/scala/leon/purescala/SimplifierWithPaths.scala

src/main/scala/leon/synthesis/ConvertHoles.scala

src/main/scala/leon/verification/Tactic.scala