Automaton loopback transition
Automaton stores state only in a property