Make the partition information of clauses more explicit.#222

aehyvari wants to merge 1 commit intopartition-refactorusi-verification-and-security/opensmt:partition-refactorfrom

partition-refactor-2usi-verification-and-security/opensmt:partition-refactor-2Copy head branch name to clipboard