I've often thought that legal reasoning and thinking computationally are very close kin, being the only two vocations with the job description of "logician" so to me this just sounds like a very reasonable lateral move—albeit, one with more challenges than most. I wish the OP luck... although I think excellent software engineering requires a healthy dose of pessimism too.

Sidenote: Charles Stross explores the intersection of computation and law (and many other ideas) in Accelerando (think, as the Singularity takes hold, sentient business plans with Turing complete articles of incorporation rule the ball of mostly dust that used to be the solar system). It's a free and enjoyable ebook:

http://www.antipope.org/charlie/blog-static/fiction/accelera...