alt.getPattern());
buildDictPattern(alt.getPattern()));
  private ATerm buildDictionary(API api)  {    ATermList entries = factory.makeList();    Iterator types = api.typeIterator();    while (types.hasNext()) {      Type type = (Type)types.next();      String id = prefix + type.getId();      Iterator alts = type.alternativeIterator();      while (alts.hasNext()) {	Alternative alt = (Alternative)alts.next();	ATerm entry = factory.make("[<appl>,<term>]",				   "pattern" + id + capitalize(alt.getId()),				   alt.getPattern());	entries = factory.makeList(entry, entries);      }    }    return factory.make("[afuns([]),terms(<term>)]", entries);  }