Fixed bug in find-exact where a non-equal term might be returned.
Added code to generate instances.
ants/cqs are kept, and used in benchmark automatically.