is mentioned by

Def smts_eff(ss;x) == smt_terms( < s ss | s.lbl = x > )

[smts_eff]

Try larger context: GenAutomata