let pretty_nodes fmt nodes =
    let pretty_node n = Format.fprintf fmt "%a@." pretty_node n in
    List.iter pretty_node nodes