https://123dok.org/document/dzxml7ny-locking-discipline-inference-and-checking.html