Text this: Automatic Abstraction in Symbolic Trajectory Evaluation