parameters: (funname)
return_statement: return App(funname,*fun_placeholders(funname))
docstring: Apply function funname to distinct variables
docstring_summary: Apply function funname to distinct variables
docstring_tokens: Apply function funname to distinct variables
function: def fun_inst(funname):
      """ Apply function funname to distinct variables """
      return App(funname,*fun_placeholders(funname))
function_tokens: def fun_inst ( funname ) : return App ( funname , * fun_placeholders ( funname ) )