public virtual void addArgDef(ArgDef argDef)
 {
     if (argDef.isOrderedArg())
     {
         orderedArgDefs.Add(argDef);
     }
     else
     {
         labeledArgDefs.Add(argDef);
     }
 }