Add demo that `with-redefs` doesn't work.