channel.last() == '+' || channel.last() == '*');
channel.last() == '+' || channel.last() == '*' || channel.last() =='$');
  private String parseId(ATermChannel channel)    throws IOException  {    StringBuffer str = new StringBuffer();        do {      str.append((char)channel.last());      channel.read();        } while(Character.isLetterOrDigit((char)channel.last()) || 						channel.last() == '-' || channel.last() == '_' || 						channel.last() == '+' || channel.last() == '*');    channel.skipWhitespace();    return str.toString();  }