haspthsum coded, but cannot test as the tree assumed to have generic value