public static boolean REPAIR=true;
public static boolean AGGRESSIVESEARCH=false;
public static boolean PRUNEQUANTIFIERS=false;
public static boolean REPAIR=true;
public static boolean AGGRESSIVESEARCH=false;
public static boolean PRUNEQUANTIFIERS=false;