make AtomicTransition hashable