[trentnelson]

Yeah it's not a simple affair at all. It's a lot easier these days though, and the static verifier stuff is very good.