Comment by dsr_

Lawyers perform code review on contracts. Sadly, they don't have debuggers or reference compilers, just written language definitions and consultable output collections.