Value propagation: Improved loop detection, more precise invalidation of values