SMTLib2: Restrict constant tables to pure constants only, even when there are no quantified variables
SMTLib2: Restrict constant tables to pure constants only, even when there are no quantified variables
josefs/sbv