[Simplify] Mark (and sweep) based on latest access relation.