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