(define impc:ti:cond (lambda (ast) (if (null? ast) '() (list 'if (caar ast) (if (null? (cdar ast)) '() (apply list 'begin (cdar ast))) (impc:ti:cond (cdr ast))))))