and-or NO
elimdup NO
eq NO
eq2 NO
eq3 NO
gncr NO
if1 MAYBE
if2 NO
if3 NO
if4 MAYBE
if5 MAYBE
if6 MAYBE
if7 MAYBE
if8 MAYBE
imply NO
inc NO
inc2 MAYBE
inc3 NO
insert NO
insert2 NO
insert3 NO
int1 NO
int2 NO
int3 NO
le-ge MAYBE
le NO
le2 MAYBE
len-app NO
len-qrev NO
len-rev NO
len-round NO
len-round2 NO
min-max MAYBE
min-max2 NO
min MAYBE
min2 NO
min3 NO
min4 NO
min5 NO
minus NO
minus2 NO
mirror NO
ordered NO
qplus NO
seteq NO
seteq2 NO
seteq3 MAYBE
seteq4 NO
subseteq NO
tree1 NO
tree2 NO
tree3 NO
tree4 NO
tree5 NO
tree6 NO