simplifications BoolOpSeq