don't try to send custom smt commands if there aren't any
fixed argument checking in test_symb.ml