x
 
1
2
a |-x-> b
3
b |-y-> bot
4
a |-x-> c
5
c |-y-> bot
yyxxbacbot