[z] K phi now works for unit propagation.

In [Knowledge|Belief]::Reduce(), we simply prepend z to the formula.