private static bool ContainsAsymmetricExpression(Expr expr)
{
AsymmetricExpressionFinder finder = new AsymmetricExpressionFinder();
finder.VisitExpr(expr);
return(finder.foundAsymmetricExpr());
}
private bool SkipDualiseVariable(Variable node)
{
var AEF = new AsymmetricExpressionFinder();
AEF.Visit(node);
if (AEF.foundAsymmetricExpr())
{
return(true);
}
if (node.Name.Contains("_NOT_ACCESSED_"))
{
return(true);
}
if (quantifiedVars.Contains(node))
{
return(true);
}
return(false);
}