| predAnnots | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |
| predArgs | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |
| PredDecl | |
| 1 (Type/Class) | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |
| 2 (Data Constructor) | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |
| predName | SMTLib1, SMTLib1.QF_BV, SMTLib1.QF_AUFBV |