Unsure what you mean by "mutators". I am guessing "pointers that can be used to modify data at a memory address"
If so, how can you (as a GC) be sure that while you were adding up all the pointers to an address, and finding none, that another one was not made?
Mystified