The automatic diagrams are great. Almost worth using a library like this just for that, since then you know the diagram actually reflects the implementation.
replies(1):
.{ Atm.checkPin, Atm.session, Atm.ready } } }),
It was the diagram that made me think this.