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