(mod (X)
  (include *standard-cl-23*)

  ;; (+ X 1) should be an eliminated subexpression but it doesn't dominate the
  ;; condition.
  (if X
    (let ((Z X))
      (* (+ Z 1) (+ Z 1) (+ Z 1))
      )
    17
    )
  )