is mentioned by

Def affects_trace(e;k;t) == iterate(statevar x- > false statevar x'- > false funsymbol x- > false freevar x- > false trace(P)- > e(P,k) x(y)- > x y over t)	[affects_trace]
Def mentions_trace(t) == iterate(statevar x- > false statevar x'- > false funsymbol x- > false freevar x- > false trace(P)- > true x(y)- > x y over t)	[mentions_trace]
Def term_mentions_guard(g;t) == term_iterate(x.false;x.false;x.false;x.false;x.x = g;x,y. x y;t)	[term_mentions_guard]

In prior sections: bool 1 num thy 1 mb label

Try larger context: GenAutomata