anchor.diff:       `(not (qbf-evalm ,a ,env)))
       ((list '=> a b)
        `(qbf-evalm (-or ,b (-and (-not ,b) (-not ,a))) ,env))
  -    ((list 'forall a b)
  +    ((list '-forall a b)
        `(flet ((try-with (bool) (qbf-evalm ,b (extend env ,a bool))))
   	(and (try-with '-true) (try-with '-false))))
       ((list '-var x)
  
positive.code: (defpackage :dsl-gen (:use :cl :optima))
  (in-package :dsl-gen)
  
  
negative.code: ;; A more idiomatic power macro
  (defmacro loopow (n x)
    (assert (numberp n))
    (let ((term (gensym)))
      `(let ((,term ,x))
         (* ,@(loop repeat n collect term)))))
  
  (loopow 5 6)
  (let ((n 37))
  