tests(nra/trivial_check): add trivial_check.smt2