@Override
public Void visitClassViewInstance(Abstract.ClassViewInstance def, Void params) {
myBuilder.append("\\instance ");
prettyPrintNameWithPrecedence(def);
prettyPrintArguments(def.getArguments(), Abstract.DefCallExpression.PREC);
<BUG>Abstract.Expression term = def.getTerm();
if (term != null) {
myBuilder.append(" => ");
term.accept(new PrettyPrintVisitor(myBuilder, myIndent), Abstract.Expression.PREC);
}</BUG>
return null;

@Override
public Void visitNew(Abstract.NewExpression expr, Byte prec) {
if (prec > Abstract.NewExpression.PREC) myBuilder.append('(');
myBuilder.append("\\new ");
expr.getExpression().accept(this, Abstract.NewExpression.PREC);
if (prec > Abstract.NewExpression.PREC) myBuilder.append(')');
return null;
