Add a method for copying formula and partial initialization.
Add a method for copying formula and partial initialization.

Reasons:
- paralelization requires both copy and partial initialization of a
  formula.

urska19/LVR-sat