Major bug fixes with alternation-quantification sequences