Recognizer for when a given list of lists of terms calls only
For a list
Function:
(defun logic-fns-list-listp (x wrld) (declare (xargs :guard (and (plist-worldp wrld) (pseudo-term-list-listp x)))) (cond ((endp x) t) (t (and (logic-fns-listp (car x) wrld) (logic-fns-list-listp (cdr x) wrld)))))