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)
Merge remote-tracking branch 'origin/master' into alt-abd
specialized [update] for inference, and for checking