Logic: Rewrite mkAnd/mkOr to avoid memory allocations and term lookup#504

blishko wants to merge 3 commits intomasterusi-verification-and-security/opensmt:masterfrom

and-orusi-verification-and-security/opensmt:and-orCopy head branch name to clipboard