occurs-free

(define occurs-free?
(lambda (var exp)
(cond
((symbol? exp) (eqv? var exp))
((eqv? (car exp) ’lambda)
(and
(not (eqv? var (car (cadr exp))))
(occurs-free? var (caddr exp))))
(else
(or
(occurs-free? var (car exp))
(occurs-free? var (cadr exp)))))))

检测一个符号var在一个exp中是否occurs-free（自由变量）
如果exp只是由var组成，那么与参数相同则是，如果不与参数相同则否
如果exp是一个lambda表达式，那么则判断参数不仅不是lambda表达式的参数同时也在后面的表达式中occurs-free。
如果exp是一个 (exp exp)形式的表达式，则检测参数至少在两个exp的其中一个exp中是occurs-free的