Textmeddelande: Accelerating invariant generation