return "((ATgetType(" + arg + ") == AT_APPL)?ATgetAFun((ATermAppl)" + arg + "):NULL)";
return "(void*)((ATgetType(" + arg + ") == AT_APPL)?ATgetAFun((ATermAppl)" + arg + "):NULL)";
	public String ATermGetFunSym(String arg) {		return "((ATgetType(" + arg + ") == AT_APPL)?ATgetAFun((ATermAppl)" + arg + "):NULL)";	}