A Small Prolog on the Z3 AST | Dark Hacker News