let
self =
PrecondAnnotTbl
.self