Reduce memory usage by around 25 percent by not deepcopying old set of path conditions.
Reduce memory usage by around 25 percent by not deepcopying old set of path conditions.

levilucio/SyVOLT,levilucio/SyVOLT