is mentioned
In prior sections: list 1 mb list 1 mb events mb list 2 mb state machine mb automata 1 mb automata 2 mb automata 3
Try larger context: GenAutomata
bs ; a.as' [a / (as' @ bs)] (recursive)