Alternative lazier heuristic for assertion rewriting.