(define impc:ti:and (lambda (ast) (if (pair? ast) (list 'if (car ast) (if (null? (cdr ast)) (car ast) (impc:ti:and (cdr ast))) #f))))