let process_condition ctrl_dpds_infos pdg state stmt condition =
  let loc_cond = !Db.From.find_deps_no_transitivity stmt condition in
  let decls_cond = Cil.extract_varinfos_from_exp condition in

  let controled_stmts = CtrlDpds.get_if_controled_stmts ctrl_dpds_infos stmt in
  let go_then, go_else = Db.Value.condition_truth_value stmt in
  let real = go_then && go_else (* real dpd if we can go in both branches *) in
    if not real then
      debug 
        "[process_condition] stmt %d is not a real cond (never goes in '%s')@." 
        stmt.sid (if go_then then "else" else "then");
   (* build a node for the condition and store de control dependencies *)
   BuildPdg.process_jump_with_exp pdg stmt (real, controled_stmts)
                                  state loc_cond decls_cond