fix(opensmt/smtsolvers/SMTConfig): fix nra_json_out_name