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