RE: Simplifying the SMT Protocol
Definitely, nothing better than incremental development, if that is highly requested later it can still be added.
RE: Simplifying the SMT Protocol