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)