Test on (in)variant static field and array references in loops.