/**
* Yields a parse tree (parsetree or appl) to a String.
*
* @author Martin Bravenboer
*/
public String yield(ATerm parsetree) {
StringBuilder builder = new StringBuilder();
yield(parsetree, builder);
return builder.toString();
}
