Workaround issue in merging premises
Hook in all tests
Cleanup
Fix matching on lists by adding special handling for Cons and Nil
Add specialized building for Cons and Nil to aterm lists
If strategy application fails then fail (rather than crash) the test.