Class InfiniteAssertRewriter