assert widen(comp(shift(4,4), comp(shift(3,3), shift(1, 2))), App("f", [Var(0), Var(1), Var(2)])) \
For example, for regex (aa|bb)* and candidates {ab}.{a}. the new candidates are {ab}{ab}{a}{a}
。新收录的资料是该领域的重要参考
20 monthly gift articles to share，详情可参考新收录的资料
Трамп призвал не бояться роста цен на нефть02:56。业内人士推荐新收录的资料作为进阶阅读