void close(int contextPrec,int ownPrec) throws IOException {
  if (ownPrec < contextPrec)   out.write(")");
}

void close ( int contextPrec , int ownPrec ) throws IOException { if ( ownPrec < contextPrec ) out . write ( ")" ) ; }
leave precedence level . emit a ` ( ' if inner precedence level is less than precedence level we revert to .
