Simplifying the SMT Protocol