is mentioned by

Def smt_terms(c) == < s.term | s c >

[smt_terms]

Try larger context: GenAutomata