@uml Start of {@code (A|B|...)+} loop. Technically a decision state, but we don't use for code generation; somebody might need it, so I'm defining it for completeness. In reality, the {@link PlusLoopbackState} node is the real decision-making note for {@code A+}.