(command.CommandList
  children: [
    (C {<atf_test_case>} {<basic>})
    (command.ShFunction
      name: basic_head
      body: 
        (BraceGroup
          children: [(C {<atf_set>} {(DQ <descr>)} {(DQ <'Checks basic functionality'>)})]
        )
    )
    (command.ShFunction
      name: basic_body
      body: 
        (BraceGroup
          children: [
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'/'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'/'>}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'/'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'//'>}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'/usr'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'/usr/bin/'>}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'//usr'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'//usr//bin//'>}
            )
            (C {<atf_check>} {<-o>} {<inline> <Id.Lit_Colon ':'> (DQ <.> <Id.Lit_BadBackslash '\\'> <n>)} 
              {<dirname>} {<usr>}
            )
            (C {<atf_check>} {<-o>} {<inline> <Id.Lit_Colon ':'> (DQ <.> <Id.Lit_BadBackslash '\\'> <n>)} 
              {<dirname>} {(DQ )}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'/'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'/usr'>}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <'/usr'> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'/usr/bin'>}
            )
            (C {<atf_check>} {<-o>} 
              {<inline> <Id.Lit_Colon ':'> (DQ <usr> <Id.Lit_BadBackslash '\\'> <n>)} {<dirname>} {<'usr/bin'>}
            )
          ]
        )
    )
    (command.ShFunction
      name: atf_init_test_cases
      body: (BraceGroup children:[(C {<atf_add_test_case>} {<basic>})])
    )
  ]
)