Muting feature of hasPredecessorChanged()