Re: what...
"If the process is illegal, that's hardly the fault of the programmers is it?"
IIRC the use of Formal Definition Techniques was proposed as a way of proving that sets of rules were consistent.
The English parliament these days even seems to bypass close scrutiny of any draft legislation. The Executive prefers to have vague bills passed - whose details are later set arbitrarily by unscrutinised "secondary legislation" powers of decree.