step(): {/a/; "b" + step()} + {/b/; "ab" + step()}