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;
}