Value propagation: Handle infinite for-loops by computing the maximum patch