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