336337338339340341342343344345
if( node == null ) { return ATermUtils.EMPTY_LIST; } ATermAppl first = node2term( node ); ATermList rest = createList( i ); ATermList list = ATermUtils.makeList( first, rest ); return list; }