tests(nra/trivial_check): add trivial_check.smt2

Testcase for #45