let tr = Auto.transition_rule neighbourhoods