Add a stress tptp test
Add a TODO