No mentions to report in GenAutomata.