(load "cpsB.ss")

;;; If res is 'k, there is no reason to rebind it, since
;;; `(let ((k k)) ,body) = body

(define possible-letk
  (lambda (cont-exp abs-body)
    (if (symbol? cont-exp)                         ;;**opt**
        (abs-body cont-exp)                        ;;**opt**
        (let ([k-var (generate-k)])
          (let ([body (abs-body k-var)])
            `(let ((,k-var ,cont-exp))
               ,body))))))

(load "cps-tester.ss")
(define header "******************************  C  *********************")
(newline)
(test-all header)

(define resultsC test-results)