actually remove _id from Term, fix goof with TERM_DIST_VAR_UNKNOWN
#1197
| Job | Run time |
|---|---|
| 13m 43s | |
| 13m 43s |
_id from Term, fix goof with TERM_DIST_VAR_UNKNOWN
#1197
| Job | Run time |
|---|---|
| 13m 43s | |
| 13m 43s |