public void voidVisitAppl(ATermAppl appl) throws VisitFailure {
AFun fun = appl.getAFun();
int nameLength;
try{
nameLength = fun.serialize(stream);
}catch(IOException ioex){
throw new VisitFailure(ioex.getMessage());
}
position += nameLength;
if (fun.getArity() > 0 || nameLength == 0) {