Make isBuiltinFunction return true for frameTerms#870

Tomaqa wants to merge 22 commits into

nonlin-la-predsusi-verification-and-security/opensmt:nonlin-la-predsfrom

frame-literalsusi-verification-and-security/opensmt:frame-literalsCopy head branch name to clipboard