The other problems were genuine bugs, in tests and also apparently in tree transform; I've fixed them up and added tests for new code that generates clearer failures.
The other problems were genuine bugs, in tests and also apparently in tree transform; I've fixed them up and added tests for new code that generates clearer failures.