support for check-sat with argument