Made updates directly influenced by your input. Please feel free to follow up in Github!

See https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3...