SMS: Accelerating invariant generation