Add tests for productive use of failure without theory exploration