Value propagation: Simple repeated simulation of for-loops until convergence (no changes between subsequent steps) is reached. More precise invalidation of S_List instances.