Jacobi Iteration for Static Analysis too??