[tc] attribute parser for the creation of elpi predicates for tc

[tc] attribute parser for the creation of elpi predicates for tc #1236