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