invalidate only affected expressions in validate-loop-locals
move constant-lift and annotate-literal-tag into the cycling