private static String indent(final int height){
  return CoreBaseBOp.indent(height);
}

private static String indent ( final int height ) { return CoreBaseBOp . indent ( height ) ; }
returns a string that may be used to indent a dump of the nodes in the tree .
