modify to move assertion that if the outermost quals is quantification or not