Stav dette: Accelerating invariant generation