fix(opensmt/smtsolvers/SMTConfig.c): assign initial value to nra_ODE_timeout (0.0)