(defun skip-exp (link succeed)
  (for sublink in (link-sublinks link)) do
    (cond ((not (eq (link-key sublink) '*CONS*))
               (funcall succeed sublink))
           ( T
               (skip-exp sublink
                #'(lambda (link) (skip-exp link succeed))
               )
           )
    )
  )
)