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