Add support for inductive counterexamples (-induct_cex)