if (ret)
if (ret) {
  public void genCalls(PrintWriter out, String base, boolean ret)  {    for(int i=0; i<size(); i++) {      ATermAppl appl = ((ATermAppl)elementAt(i));      out.println("    result = term.match(P" + base + i + ");");      out.println("    if (result != null) {");      if (ret)	out.print("      return " + base + "(");      else	out.print("      " + base + "(");      genArgs(out, appl.getArguments());      out.println(");");      if (!ret)	out.println("      return null;");      out.println("    }\n");    }  }