public static bool Found(Program node)
{
var cfq = new CheckForQuantifiers();
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") &&
CheckForQuantifiers.Found(program));
}