+ (($ $continue k src ($ $branch kt ($ $primcall name args)))
+ (convert-free-vars args
+ (lambda (args)
+ (build-cps-term
+ ($continue k src
+ ($branch kt ($primcall name args)))))))
+
+ (($ $continue k src ($ $branch kt ($ $values (arg))))
+ (convert-free-var arg
+ (lambda (arg)
+ (build-cps-term
+ ($continue k src
+ ($branch kt ($values (arg))))))))
+