assertion_table : (predicate list)
HStmt
.t =
HStmt
.create 113