Add support for check-sat with argument.