Revised Inflation process and added verifier of correctness to be
executed after convergence.