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