add info in the ast constructed by the term checker