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