let compute kf =
  let lex_succ_graph = Lexical_successors.compute kf in
  let ctrl_dpds_infos = compute_infos kf in
    (lex_succ_graph, ctrl_dpds_infos)