Prepare the automata translation, with a dedicated context for each.
Add partial expression translation (some assignments, binary operators,
constants, variable definition...)