Class SpecRewriter