let tr = Auto.transition_rule Topo.neighbourhoods