Cleanup test-suite, should work with next revision of 8.4 (sorry, missed the pl3
deadline).
In subterm, don't add the transitivity rule to direct_subterm, restoring its
semantic meaning.
Add f91 to test-suite.