slither.detectors.operations