Let Core use more generic Imperative.SMTUtils for discharging proof obligation#414

aqjune-aws merged 17 commits intomainstrata-org/Strata:mainfrom

jlee/smtcexstrata-org/Strata:jlee/smtcexCopy head branch name to clipboard