Tekstiviesti: Accelerating invariant generation