litmus: added forgotten topology.ml