let init cfg =
    let env = { graph = cfg_graph cfg ; 
                dfsp = Hashtbl.create 97; iloop_header =  Hashtbl.create 7; 
                loop_headers = []; irreducible = []; unstruct_coef = 0 } in
      env, cfg_start cfg