#9: fixed redundant arrows in alternation