fix(opensmt/smtsolvers/SMTConfig.c): assign initial value to nra_json (false)