Fixed flatten bug.

Clausifier and ProofTracker did not agree on the condition to flatten nested
ors.  Resolved to a common static function in Clausifier.