static String paramStringOutputNoComma(Term paramList, boolean asArg) {
   if (paramList.notEmpty()) {
     OutputContext oc = new OutputContext();
     oc.parameterOutput(paramList, asArg);
     String str = oc.instanceToString();
     if (str.length() > 1) return str.substring(2);
   }
   return "";
 }
 void parameterOutputAsArg(Term paramList) {
   if (paramList.notEmpty()) {
     parameterOutput(paramList, true);
   }
 }