rewrite kind.cc for kind.test
The kind
binary should not work one formula at a time as we do in src/ltltest/kind.test
. Starting valgrind that many times is slow.
Rewrite kind
so that it reads a file with all the formulas and the expected answers, and process all of them.