let rec build_reduced_graph kf graph stmts =
  List.iter (reduce kf graph) stmts