private static IAnalysisSet ReduceArgs(IAnalysisSet args, int limit)
{
while (args.Count > limit)
{
var newArgs = args.AsStrongerUnion();
if (ReferenceEquals(newArgs, args))
{
return(args);
}
args = newArgs;
}
return(args);
}
