properly simplify not comps in loop suffixes and elsewhere