don't try to send custom smt commands if there aren't any
fixed argument checking in test_symb.ml
Merge pull request #7 from jvillard/for_radu

2 small fixes (I think)