Text this: Interpolant-Based Transition Relation Approximation