(command.CommandList
  children: [
    (command.AndOr
      ops: [Op_DAmp]
      children: [
        (C {(Lit_Other '[')} 
          {
            (word_part.BracedVarSub
              token: <VSub_Name SPECIALFORMS_IF_SH>
              suffix_op: (suffix_op.StringUnary op_id:VTest_Plus arg_word:{(true)})
            )
          } {(Lit_Other ']')}
        )
        (command.ControlFlow token:<ControlFlow_Return return>)
      ]
    )
    (command.Assignment
      keyword: Assign_Declare
      flags: [-g]
      pairs: [(assign_pair lhs:(lhs_expr.LhsName name:SPECIALFORMS_IF_SH) op:Equal rhs:{(true)})]
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/common.sh)
      }
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/test.sh)
      }
    )
    (C {(.)} 
      {
        (word_part.BracedVarSub
          token: <VSub_Name BASH_SOURCE>
          suffix_op: (suffix_op.StringUnary op_id:VOp1_Percent arg_word:{(Lit_Slash /) ('*')})
        ) (/specialforms.sh)
      }
    )
    (command.FuncDef
      name: 'evaluator::specialforms::if'
      body: 
        (command.BraceGroup
          children: [
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:env)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 1))}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:functionName)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 2))}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:args)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 3))}
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (length)
                  } {($ VSub_DollarName '$args')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              flags: [-i]
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:length)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name RESULT))}
                )
              ]
            )
            (command.If
              arms: [
                (if_arm
                  cond: [
                    (command.Sentence
                      child: 
                        (command.DBracket
                          expr: 
                            (bool_expr.BoolBinary
                              op_id: BoolBinary_GlobNEqual
                              left: {($ VSub_DollarName '$length')}
                              right: {(3)}
                            )
                        )
                      terminator: <Op_Semi ';'>
                    )
                  ]
                  action: [
                    (C {(stderr)} {(DQ ('usage: (if condition true-branch false-branch)'))})
                    (command.ControlFlow
                      token: <ControlFlow_Exit exit>
                      arg_word: {(1)}
                    )
                  ]
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (index)
                  } {($ VSub_DollarName '$args')} {(0)}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:condition)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (index)
                  } {($ VSub_DollarName '$args')} {(1)}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:trueBranch)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (command.Sentence
              child: 
                (C 
                  {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') 
                    (Lit_Other ':') (index)
                  } {($ VSub_DollarName '$args')} {(2)}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:falseBranch)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (command.Sentence
              child: 
                (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
                  {($ VSub_DollarName '$condition')}
                )
              terminator: <Op_Semi ';'>
            )
            (command.Assignment
              keyword: Assign_Declare
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:conditionResult)
                  op: Equal
                  rhs: {(${ VSub_Name RESULT)}
                )
              ]
            )
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (type) (Lit_Other ':') (Lit_Other ':') 
                (instanceOfOrExit)
              } {($ VSub_DollarName '$conditionResult')} {(Boolean)}
            )
            (C {(variable) (Lit_Other ':') (Lit_Other ':') (value)} 
              {($ VSub_DollarName '$conditionResult')}
            )
            (command.If
              arms: [
                (if_arm
                  cond: [
                    (command.Sentence
                      child: 
                        (command.DBracket
                          expr: 
                            (bool_expr.BoolBinary
                              op_id: BoolBinary_GlobDEqual
                              left: {(DQ (true))}
                              right: {(DQ (${ VSub_Name RESULT))}
                            )
                        )
                      terminator: <Op_Semi ';'>
                    )
                  ]
                  action: [
                    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} 
                      {($ VSub_DollarName '$env')} {($ VSub_DollarName '$trueBranch')}
                    )
                  ]
                )
              ]
              else_action: [
                (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
                  {($ VSub_DollarName '$falseBranch')}
                )
              ]
            )
            (command.Assignment
              keyword: Assign_None
              pairs: [
                (assign_pair
                  lhs: (lhs_expr.LhsName name:RESULT)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name RESULT))}
                )
              ]
            )
          ]
        )
    )
    (command.If
      arms: [
        (if_arm
          cond: [
            (command.Sentence
              child: 
                (C {(Lit_Other '[')} {($ VSub_Number '$0')} {(KW_Bang '!') (Lit_Other '=')} 
                  {($ VSub_DollarName '$BASH_SOURCE')} {(Lit_Other ']')}
                )
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(command.ControlFlow token:<ControlFlow_Return return>)]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (if))})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:conditional)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$conditional')} {(Identifier)} {(DQ ('='))} {(Integer)} {(3)} 
      {(Integer)} {(3)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$conditional')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(String)} {(yes)} {(String)} {(no)})
    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
      {($ VSub_DollarName '$command')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (debug)} {(DQ (${ VSub_Name RESULT))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('String :: yes'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ("(if (= 3 3) 'yes 'no)"))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (if))})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:conditional)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$conditional')} {(Identifier)} {(DQ ('='))} {(Integer)} {(3)} 
      {(Integer)} {(4)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$conditional')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(String)} {(yes)} {(String)} {(no)})
    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
      {($ VSub_DollarName '$command')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (debug)} {(DQ (${ VSub_Name RESULT))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('String :: no'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ("(if (= 3 4) 'yes 'no)"))}
        )
      ]
    )
    (command.CommandList
      children: [
        (command.Sentence child:(C {(createTestEnv)}) terminator:<Op_Semi ';'>)
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:env)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(setInEnv)} {($ VSub_DollarName '$env')} {(DQ (v))} {(Integer)} {(10)})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:command)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Identifier)} {(DQ (if))})
    (command.CommandList
      children: [
        (command.Sentence
          child: 
            (C 
              {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') 
                (new)
              }
            )
          terminator: <Op_Semi ';'>
        )
        (command.Assignment
          keyword: Assign_None
          pairs: [
            (assign_pair
              lhs: (lhs_expr.LhsName name:conditional)
              op: Equal
              rhs: {(DQ (${ VSub_Name RESULT))}
            )
          ]
        )
      ]
    )
    (C {(appendToList)} {($ VSub_DollarName '$conditional')} {(Identifier)} {(DQ ('='))} {(Integer)} {(3)} 
      {(Integer)} {(4)}
    )
    (C 
      {(variable) (Lit_Other ':') (Lit_Other ':') (LinkedList) (Lit_Other ':') (Lit_Other ':') (append)} {($ VSub_DollarName '$command')} {($ VSub_DollarName '$conditional')}
    )
    (C {(appendToList)} {($ VSub_DollarName '$command')} {(Integer)} {(5)} {(Identifier)} {(v)})
    (C {(evaluator) (Lit_Other ':') (Lit_Other ':') (eval)} {($ VSub_DollarName '$env')} 
      {($ VSub_DollarName '$command')}
    )
    (command.CommandList
      children: [
        (command.Sentence
          child: (C {(variable) (Lit_Other ':') (Lit_Other ':') (debug)} {(DQ (${ VSub_Name RESULT))})
          terminator: <Op_Semi ';'>
        )
        (C {(assert) (Lit_Other ':') (Lit_Other ':') (equals)} {(DQ ('Integer :: 10'))} 
          {(DQ (${ VSub_Name RESULT))} {(DQ ("(if (= 3 4) 'yes 'no)"))}
        )
      ]
    )
    (C {(assert) (Lit_Other ':') (Lit_Other ':') (report)})
    (command.If
      arms: [
        (if_arm
          cond: [
            (command.Sentence
              child: 
                (command.AndOr
                  ops: [Op_DAmp]
                  children: [
                    (C {(Lit_Other '[')} 
                      {
                        (word_part.BracedVarSub
                          token: <VSub_Number 1>
                          suffix_op: (suffix_op.StringUnary op_id:VTest_Plus arg_word:{(isset)})
                        )
                      } {(Lit_Other ']')}
                    )
                    (C {(Lit_Other '[')} {(DQ ($ VSub_Number '$1'))} {(Lit_Other '=') (Lit_Other '=')} 
                      {(DQ (debug))} {(Lit_Other ']')}
                    )
                  ]
                )
              terminator: <Op_Semi ';'>
            )
          ]
          action: [(C {(variable) (Lit_Other ':') (Lit_Other ':') (printMetadata)})]
        )
      ]
    )
  ]
)