(define impc:ti:clean-fvars
(lambda (vars)
;; (println 'cleaning: vars)
;; first remove all single element lists
(map (lambda (v)
(set-cdr! v (impc:ti:remove-single-element-lists (cdr v))))
vars)
;; (println 'vars2: vars)
vars))