I think that we are not really far from time, when law text will need to be formally verified to either prevent these kind of loop holes or at least point them out.