Formulas can be simplified before conversion to CNF.

For long formulas (in particular regressed formulas), this speeds up
CNF conversion considerably (Property 10 from 4s to 0.01s or so).

Also fixed [Knowledge|Belief]::Copy().