Has anyone tried symex.el before https://github.com/countvajhula/symex.el#installation I put
(use-package symex :config (symex-initialize))
M-x symex-mode-interface