Split simplifyFormulas to sub-functions#888

Tomaqa wants to merge 3 commits into

masterusi-verification-and-security/opensmt:masterfrom

preprocessusi-verification-and-security/opensmt:preprocessCopy head branch name to clipboard