is mentioned by

Def rel_primed_vars(r) == reduce(t,vs. term_primed_vars(t) @ vs;nil;r.args)

[rel_primed_vars]

In prior sections: list 1 mb list 1 mb events mb list 2 mb state machine mb automata 1 mb automata 2

Try larger context: GenAutomata