Client of the mutability detector