Introduced TrackedAtom to detect rewrite cycles