internal LNode MakeTopTestExpr(LNode pattern, LNode @var)
{
DuplicateDetector.Clear();
Tests.Clear();
MakeTestExpr(pattern, @var);
LNode result = null;
foreach (var test in Tests)
{
result = LNode.MergeBinary(result, test, S.And);
}
return(result);
}