private bool AvoidRepeatedWarnings(IEnumerable <int> arms) { if (_ambiguitiesReported == null) { _ambiguitiesReported = new MSet <int>(arms); return(false); } else { return(_ambiguitiesReported.UnionWith(arms) == 0); } }