Class PreconditionAssertRewriter