static public ATerm readTerm(World world, InputStream s) throws ParseError, IOException
protected synchronized ATerm readTerm() throws ParseError, IOException
  static public ATerm readTerm(World world, InputStream s)    throws ParseError, IOException  {    ToolBusChannel channel = new ToolBusChannel(s);    channel.reset();    channel.read();    return world.parseATerm(channel);  }