return parseFromReader(new ATermReader(new StringReader(trm)));
try { ATermReader reader = new ATermReader(new StringReader(trm)); reader.readSkippingWS(); ATerm result = parseFromReader(reader); System.out.println("parsing " + trm + " yields " + result); return result; } catch (IOException e) { throw new ParseError("premature end of string"); }
  public ATerm parse(String trm)  {    return parseFromReader(new ATermReader(new StringReader(trm)));  }