The test cases now include the example reported in issue #56. The issues is solved by using the appropriate lazy pattern matches on pairs.