17. The method of claim 16 wherein one or more lemmas are created from the violation, and conjoining the lemmas with the abstraction for subsequent iterations.
18. The method of claim 17 wherein a lemma is created by negating the violation constraints.