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