private AASet FlankingAndCoreUnifyOrEmpty(AASet flanking, AASet core)
{
if (flanking == AASet.OptionalAny)
{
return(core);
}
Debug.Assert(AASetSequence.IsOptional(flanking)); // real assert
AASet chUnifyOrEmpty = AASetSequence.UnifyOrEmpty(AASetSequence.ToRequired(flanking), core);
return(chUnifyOrEmpty);
}
private AASet UnifyOrBoundWithFlanking(AASet c1, AASet c2)
{
AASet result = AASetSequence.ToRequired(c1 & c2);
return(result);
}
