invalidate only affected expressions in validate-loop-locals, takes let binding into consideration