SMT Divergence Indicator