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