dn_conditional
dnp->dn_conditional = pred;
dt_printd(dnp->dn_conditional, fp, 0);
dt_node_printr(dnp->dn_conditional, fp, depth + 1);
dt_sugar_visit_all(dp, dnp->dn_conditional);
if_stmt->dn_conditional, precondition);