SMT_RDF_SUCCESS
!= SMT_RDF_SUCCESS) ||
pcon.pc_err ? pcon.pc_err : SMT_RDF_SUCCESS ;
if (set && (res->rdf_reason == SMT_RDF_SUCCESS)) {