(define (count-pairs x)
  (if (not (pair? x))
      0
      (+ (count-pairs (car x))
         (count-pairs (cdr x))
         1)))
;3: (list 1 2 3)
;4: (cons (cons 1 varX) (cons varX 2))
;7: [ varV  |  varV ]
;         |           |
;        \|/         \|/
;    [ varW | varW ]
:         |           |
;        \|/         \|/
;    [   1      |    2    ] 
;
;Не завершится при зацикливании: 1-> 2-> 3-> 1->...