(command.CommandList
  children: [
    (command.ShFunction
      name: check
      body: 
        (BraceGroup
          children: [
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:func_addr_1)
                  op: assign_op.Equal
                  rhs: 
                    {
                      (command_sub
                        left_token: <Id.Left_Backtick '`'>
                        child: 
                          (command.Pipeline
                            children: [
                              (C {<grep>} {($ Id.VSub_Number '$2')} {($ Id.VSub_Number '$1')})
                              (C {<awk>} {(SQ <'{print $1}'>)})
                            ]
                            negated: F
                          )
                      )
                    }
                  spids: [73]
                )
              ]
            )
            (command.ShAssignment
              pairs: [
                (assign_pair
                  lhs: (sh_lhs_expr.Name name:func_addr_2)
                  op: assign_op.Equal
                  rhs: 
                    {
                      (command_sub
                        left_token: <Id.Left_Backtick '`'>
                        child: 
                          (command.Pipeline
                            children: [
                              (C {<grep>} {($ Id.VSub_Number '$3')} {($ Id.VSub_Number '$1')})
                              (C {<awk>} {(SQ <'{print $1}'>)})
                            ]
                            negated: F
                          )
                      )
                    }
                  spids: [93]
                )
              ]
            )
            (command.If
              arms: [
                (if_arm
                  cond: 
                    (condition.Shell
                      commands: [
                        (C {<Id.Lit_LBracket '['>} {($ Id.VSub_DollarName '$func_addr_1')} 
                          {<Id.Lit_Equals '='>} {($ Id.VSub_DollarName '$func_addr_2')} {<Id.Lit_RBracket ']'>}
                        )
                      ]
                    )
                  action: [
                    (C {<echo>} {(DQ <'Identical Code Folding with keep-unique failed to unfold'>)} 
                      {($ Id.VSub_Number '$2')}
                    )
                    (command.ControlFlow
                      token: <Id.ControlFlow_Exit exit>
                      arg_word: {<1>}
                    )
                  ]
                  spids: [113 126]
                )
              ]
            )
          ]
        )
    )
    (C {<check>} {<icf_keep_unique_test.stdout>} {(DQ <kept_func>)} {(DQ <unique_func>)})
  ]
)