Added counters of already preprocessed assertions#889

Tomaqa wants to merge 1 commit into

preprocessusi-verification-and-security/opensmt:preprocessfrom

preprocess-countersusi-verification-and-security/opensmt:preprocess-countersCopy head branch name to clipboard