public static bool Find(Program node)
{
var cfq = new CheckForQuantifiersVisitor();
cfq.VisitProgram(node);
return(cfq.quantifiersExist);
}
private static bool UsingCVC4AndQuantifiersPresent(Program program, IEnumerable <string> proverOptions)
{
return((proverOptions.Contains("SOLVER=cvc4") || proverOptions.Contains("SOLVER=CVC4")) &&
proverOptions.Contains("LOGIC=QF_ALL_SUPPORTED") &&
CheckForQuantifiersVisitor.Find(program));
}