Treeness check
Better error reporting, still not quite there