pub fn translate_expr( name: ExprID, lhs_trans: &impl Fn(ExprID) -> Option<ExprID>, rhs_trans: &impl Fn(ExprID) -> Option<ExprID>, ) -> String