Tekstiviesti: Automatic Abstraction in Symbolic Trajectory Evaluation