(defun bar (x) x)

(certify-book "assert-include" 1)