Properly handling sort universe at smt level#104

etiennejf merged 1 commit intomaininput-output-hk/Lean-blaster:mainfrom

new-sort-universe-fixinput-output-hk/Lean-blaster:new-sort-universe-fixCopy head branch name to clipboard