toHMPTree works for a single tuit-formatted file