Fixes bug in alternation translation and adds test.