SZS status Theorem for i/f/llist/LAPPEND__EQ__LNIL
