/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2955: warning: argument 'ptr_psi_term' of command @param is not found in the argument list of list_car(ptr_psi_term(lst))
/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2955: warning: argument 'lst' of command @param is not found in the argument list of list_car(ptr_psi_term(lst))
/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2929: warning: argument 'ptr_psi_term' of command @param is not found in the argument list of list_cdr(ptr_psi_term(lst))
/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2929: warning: argument 'lst' of command @param is not found in the argument list of list_cdr(ptr_psi_term(lst))
/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2914: warning: argument 'ptr_psi_term' of command @param is not found in the argument list of list_is_nil(ptr_psi_term(lst))
/home/dennis/LIFE-2.30/Life-2.30/Life-2.30/Source/xpred.c:2914: warning: argument 'lst' of command @param is not found in the argument list of list_is_nil(ptr_psi_term(lst))
