Added EXIT_DIVERGENCE option