bool isHeightBalanced(const Node* t)
{
  return heightBalanced(t) >= 0;
}