return "((ATgetType(" + arg + ") == AT_LIST)?ATmakeAFun(\"conc\",1,ATfalse)):NULL)";
return "(void*) ((ATgetType(" + arg + ") == AT_LIST)?ATmakeAFun(\"conc\",1,ATfalse):NULL)";
	public String ATermListGetFunSym(String arg) {		return "((ATgetType(" + arg + ") == AT_LIST)?ATmakeAFun(\"conc\",1,ATfalse)):NULL)";	}