SMT Divergence (with Automatic Detection) - ICT