is mentioned by

Def affects_trace_rel(e;k;r) == reduce(x,y. affects_trace(e;k;x) y;false;r.args)	[affects_trace_rel]
Def rel_mentions_trace(r) == reduce(x,y. mentions_trace(x) y;false;r.args)	[rel_mentions_trace]
Def subst_mentions_trace(as) == reduce(a,b. mentions_trace(2of(a)) b;false;as)	[subst_mentions_trace]

In prior sections: bool 1 num thy 1 mb label mb automata 2

Try larger context: GenAutomata