Describir: Accelerating invariant generation