Seq choice bugfix

This fixes a serious bug with compilation of sequential composition and choice.