Add more detailed pattern tests.

They now work on the updated HDT version.