Extend the check-sat interface