Trivial tests for smt