Function linkCircularRedefinitionsWithinALoop

all loops variables which are open read (not already bound by a redefinition within the loop) get a maybe read marker to their last definition within the loop e.g. with:

for(i in 1:10) {
 x_1 <- x_2 + 1
}
Copy

x_2 must get a read marker to x_1 as x_1 is the active redefinition in the second loop iteration.