(ld "acl2-customization.lisp") ; adds the :paco keyword command
(set-verify-guards-eagerness 0)
(include-book "simplify")
(certify-book "elim-dest" 3)