Links for assert-rewriter