added filters for only singleton clause form cnfs

as far as i can tell, they'd get filtered anyway. probably should have
done this long before, but oh well. hopefully it'll speed things way up.