Force Cnfizer to keep track with top-level or named formulas in TermMapper if tracking partitions#883

Tomaqa wants to merge 3 commits into

get-internal-partitionusi-verification-and-security/opensmt:get-internal-partitionfrom

cnfizer-termmapperusi-verification-and-security/opensmt:cnfizer-termmapperCopy head branch name to clipboard