pub fn translate_functions(ctx: &mut TransformCtx<'_>)
Translate the functions by reconstructing the control-flow.