Renamed util.ml to Topology_util.ml