A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction