add some comment on termset.c