Allowed retrieving internal terms from PartitionManager and also single terms#882

Tomaqa wants to merge 1 commit into

masterusi-verification-and-security/opensmt:masterfrom

get-internal-partitionusi-verification-and-security/opensmt:get-internal-partitionCopy head branch name to clipboard