Auditing a contract that will be applied by a human judge with common sense and written in more-or-less English seems inherently easier than auditing a contract that will be applied strictly literally by a machine and is written in, well, code.