csv.err

========================================================
© Copyright 2009 Regents of the University of California.
All Rights Reserved.
========================================================
.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|./.-.\.|Unsatisfied Constraints:
 constraint:
 env  [ xsListSelector:{VV : func(1, [FAppTy (List ) @(0) ; FAppTy (List ) @(0)]) | []}
      ; x_Tuple77:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(6)]) | []}
      ; x_Tuple76:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(5)]) | []}
      ; x_Tuple75:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(4)]) | []}
      ; x_Tuple74:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(3)]) | []}
      ; x_Tuple73:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(2)]) | []}
      ; x_Tuple72:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(1)]) | []}
      ; x_Tuple71:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(0)]) | []}
      ; x_Tuple66:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(5)]) | []}
      ; x_Tuple65:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(4)]) | []}
      ; x_Tuple64:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(3)]) | []}
      ; x_Tuple63:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(2)]) | []}
      ; x_Tuple62:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(1)]) | []}
      ; x_Tuple61:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(0)]) | []}
      ; x_Tuple55:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(4)]) | []}
      ; x_Tuple54:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(3)]) | []}
      ; x_Tuple53:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(2)]) | []}
      ; x_Tuple52:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(1)]) | []}
      ; x_Tuple51:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(0)]) | []}
      ; x_Tuple44:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(3)]) | []}
      ; x_Tuple43:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(2)]) | []}
      ; x_Tuple42:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(1)]) | []}
      ; x_Tuple41:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(0)]) | []}
      ; x_Tuple33:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(2)]) | []}
      ; x_Tuple32:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(1)]) | []}
      ; x_Tuple31:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(0)]) | []}
      ; x_Tuple22:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(1)]) | []}
      ; x_Tuple21:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(0)]) | []}
      ; xListSelector:{VV : func(1, [FAppTy (List ) @(0) ; @(0)]) | []}
      ; snd:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(1)]) | []}
      ; rows:{VV : func(0, [CSV.CSV  ; FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )))]) | []}
      ; papp3:{VV : func(6, [FAppTy (FAppTy (FAppTy (Pred ) @(0)) @(1)) @(2) ; @(3) ; @(4) ; @(5) ; bool]) | []}
      ; papp2:{VV : func(4, [FAppTy (FAppTy (Pred ) @(0)) @(1) ; @(2) ; @(3) ; bool]) | []}
      ; papp1:{VV : func(1, [FAppTy (Pred ) @(0) ; @(0) ; bool]) | []}
      ; null:{VV : func(1, [FAppTy (List ) @(0) ; bool]) | []}
      ; lq_anf__dN7:{lq_tmp_x2650 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x2650) <=> false)
                    ; (len([lq_tmp_x2650]) = (1 + len([lq_anf__dN6])))
                    ; (xsListSelector([lq_tmp_x2650]) = lq_anf__dN6)
                    ; (xListSelector([lq_tmp_x2650]) = lq_anf__dMV)
                    ; (len([lq_tmp_x2650]) >= 0)]}
      ; lq_anf__dN6:{lq_tmp_x2549 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x2549) <=> false)
                    ; (len([lq_tmp_x2549]) = (1 + len([lq_anf__dN5])))
                    ; (xsListSelector([lq_tmp_x2549]) = lq_anf__dN5)
                    ; (xListSelector([lq_tmp_x2549]) = lq_anf__dMY)
                    ; (len([lq_tmp_x2549]) >= 0)]}
      ; lq_anf__dN5:{lq_tmp_x2448 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x2448) <=> false)
                    ; (len([lq_tmp_x2448]) = (1 + len([lq_anf__dN4])))
                    ; (xsListSelector([lq_tmp_x2448]) = lq_anf__dN4)
                    ; (xListSelector([lq_tmp_x2448]) = lq_anf__dN3)
                    ; (len([lq_tmp_x2448]) >= 0)]}
      ; lq_anf__dN4:{lq_tmp_x2383 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x2383) <=> true); (len([lq_tmp_x2383]) = 0)
                    ; (len([lq_tmp_x2383]) >= 0)]}
      ; lq_anf__dN3:{lq_tmp_x2336 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2336) <=> false)
                    ; (len([lq_tmp_x2336]) = (1 + len([lq_anf__dN2])))
                    ; (xsListSelector([lq_tmp_x2336]) = lq_anf__dN2)
                    ; (xListSelector([lq_tmp_x2336]) = lq_anf__dMZ)
                    ; (len([lq_tmp_x2336]) >= 0)]}
      ; lq_anf__dN2:{lq_tmp_x2287 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2287) <=> false)
                    ; (len([lq_tmp_x2287]) = (1 + len([lq_anf__dN1])))
                    ; (xsListSelector([lq_tmp_x2287]) = lq_anf__dN1)
                    ; (xListSelector([lq_tmp_x2287]) = lq_anf__dN0)
                    ; (len([lq_tmp_x2287]) >= 0)]}
      ; lq_anf__dN1:{lq_tmp_x2256 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2256) <=> true); (len([lq_tmp_x2256]) = 0)
                    ; (len([lq_tmp_x2256]) >= 0)]}
      ; lq_anf__dN0:{lq_tmp_x2250 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2250]) >= 0)]}
      ; lq_anf__dMZ:{lq_tmp_x2241 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2241]) >= 0)]}
      ; lq_anf__dMY:{lq_tmp_x2191 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2191) <=> false)
                    ; (len([lq_tmp_x2191]) = (1 + len([lq_anf__dMX])))
                    ; (xsListSelector([lq_tmp_x2191]) = lq_anf__dMX)
                    ; (xListSelector([lq_tmp_x2191]) = lq_anf__dMW)
                    ; (len([lq_tmp_x2191]) >= 0)]}
      ; lq_anf__dMX:{lq_tmp_x2160 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2160) <=> true); (len([lq_tmp_x2160]) = 0)
                    ; (len([lq_tmp_x2160]) >= 0)]}
      ; lq_anf__dMW:{lq_tmp_x2154 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2154]) >= 0)]}
      ; lq_anf__dMV:{lq_tmp_x2104 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2104) <=> false)
                    ; (len([lq_tmp_x2104]) = (1 + len([lq_anf__dMU])))
                    ; (xsListSelector([lq_tmp_x2104]) = lq_anf__dMU)
                    ; (xListSelector([lq_tmp_x2104]) = lq_anf__dMR)
                    ; (len([lq_tmp_x2104]) >= 0)]}
      ; lq_anf__dMU:{lq_tmp_x2055 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2055) <=> false)
                    ; (len([lq_tmp_x2055]) = (1 + len([lq_anf__dMT])))
                    ; (xsListSelector([lq_tmp_x2055]) = lq_anf__dMT)
                    ; (xListSelector([lq_tmp_x2055]) = lq_anf__dMS)
                    ; (len([lq_tmp_x2055]) >= 0)]}
      ; lq_anf__dMT:{lq_tmp_x2024 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2024) <=> true); (len([lq_tmp_x2024]) = 0)
                    ; (len([lq_tmp_x2024]) >= 0)]}
      ; lq_anf__dMS:{lq_tmp_x2018 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2018]) >= 0)]}
      ; lq_anf__dMR:{lq_tmp_x2009 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2009]) >= 0)]}
      ; lq_anf__dMQ:{lq_tmp_x1959 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x1959) <=> false)
                    ; (len([lq_tmp_x1959]) = (1 + len([lq_anf__dMP])))
                    ; (xsListSelector([lq_tmp_x1959]) = lq_anf__dMP)
                    ; (xListSelector([lq_tmp_x1959]) = lq_anf__dMM)
                    ; (len([lq_tmp_x1959]) >= 0)]}
      ; lq_anf__dMP:{lq_tmp_x1910 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x1910) <=> false)
                    ; (len([lq_tmp_x1910]) = (1 + len([lq_anf__dMO])))
                    ; (xsListSelector([lq_tmp_x1910]) = lq_anf__dMO)
                    ; (xListSelector([lq_tmp_x1910]) = lq_anf__dMN)
                    ; (len([lq_tmp_x1910]) >= 0)]}
      ; lq_anf__dMO:{lq_tmp_x1879 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x1879) <=> true); (len([lq_tmp_x1879]) = 0)
                    ; (len([lq_tmp_x1879]) >= 0)]}
      ; lq_anf__dMN:{lq_tmp_x1873 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x1873]) >= 0)]}
      ; lq_anf__dMM:{lq_tmp_x1864 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x1864]) >= 0)]}
      ; len:{VV : func(1, [FAppTy (List ) @(0) ; int]) | []}
      ; isJust:{VV : func(1, [FAppTy (Data.Maybe.Maybe ) @(0) ; bool]) | []}
      ; headers:{VV : func(0, [CSV.CSV  ; FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))]) | []}
      ; fst:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(0)]) | []}
      ; fromJust:{VV : func(1, [FAppTy (Data.Maybe.Maybe ) @(0) ; @(0)]) | []}
      ; fix#GHC.Types.#91##93##35#6m:{VV : func(1, [FAppTy (List ) @(0)]) | []}
      ; fix#GHC.Types.#58##35#64:{VV : func(1, [@(0) ; FAppTy (List ) @(0) ; FAppTy (List ) @(0)]) | []}
      ; fix#GHC.Prim.#62##61##35##35#9n:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#62##35##35#9m:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#61##61##35##35#9o:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#60##61##35##35#9r:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#60##35##35#9q:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#45##35##35#99:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#43##35##35#98:{VV : func(0, [int ; int ; int]) | []}
      ; cmp:{VV : func(0, [GHC.Types.Ordering  ; GHC.Types.Ordering ]) | []}
      ; addrLen:{VV : func(0, [int ; int]) | []}
      ; VV#4640:{VV#4640 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                [(null(VV#4640) <=> false)
                ; (len([VV#4640]) = (1 + len([lq_anf__dN6])))
                ; (xsListSelector([VV#4640]) = lq_anf__dN6)
                ; (xListSelector([VV#4640]) = lq_anf__dMV)
                ; (len([VV#4640]) >= 0); (VV#4640 = lq_anf__dN7)
                ; (len([VV#4640]) >= 0)]}
      ; Set_sub:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_sng:{VV : func(1, [@(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_mem:{VV : func(1, [@(0) ; FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_empty:{VV : func(1, [int ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_emp:{VV : func(1, [FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_dif:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_cup:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_cap:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Prop:{VV : func(0, [GHC.Types.Bool  ; bool]) | []}
      ; GHC.Types.LT#6S:{VV#164 : GHC.Types.Ordering  | [(cmp([VV#164]) = GHC.Types.LT#6S)]}
      ; GHC.Types.I##6c:{VV : func(0, [int ; int]) | []}
      ; GHC.Types.GT#6W:{VV#166 : GHC.Types.Ordering  | [(cmp([VV#166]) = GHC.Types.GT#6W)]}
      ; GHC.Types.EQ#6U:{VV#162 : GHC.Types.Ordering  | [(cmp([VV#162]) = GHC.Types.EQ#6U)]}
      ; GHC.Types.C##62:{VV : func(0, [GHC.Prim.Char#  ; GHC.Types.Char ]) | []}
      ; GHC.Integer.Type.smallInteger#0Z:{VV : func(0, [int ; int]) | []}
      ; GHC.CString.unpackCString##0k:{VV : func(0, [int ; FAppTy (List ) (GHC.Types.Char )]) | []}
      ; CSV.csvGood#rpA:{VV#174 : CSV.CSV  | [k_175]}
      ; CSV.Csv#rpv:{VV : func(0, [FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) ; FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) ; CSV.CSV ]) | []}] 
 grd true 
 lhs {VV#F161 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | [k_2677[lq_tmp_x2816:=VV#4640][lq_tmp_x2804:=VV#F161][lq_tmp_x2688:=VV#F161][lq_tmp_x2654:=lq_anf__dN6][lq_tmp_x2653:=lq_anf__dMV][lq_tmp_x2650:=VV#4640][VV#F:=VV#F161][VV#4642:=VV#F161][VV#2676:=VV#F161]]} 
 rhs {VV#F161 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | [(len([VV#F161]) = len([lq_anf__dMQ]))]} 
 id 161 tag [2] // 


constraint:
 env  [ xsListSelector:{VV : func(1, [FAppTy (List ) @(0) ; FAppTy (List ) @(0)]) | []}
      ; x_Tuple77:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(6)]) | []}
      ; x_Tuple76:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(5)]) | []}
      ; x_Tuple75:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(4)]) | []}
      ; x_Tuple74:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(3)]) | []}
      ; x_Tuple73:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(2)]) | []}
      ; x_Tuple72:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(1)]) | []}
      ; x_Tuple71:{VV : func(7, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5)) @(6) ; @(0)]) | []}
      ; x_Tuple66:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(5)]) | []}
      ; x_Tuple65:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(4)]) | []}
      ; x_Tuple64:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(3)]) | []}
      ; x_Tuple63:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(2)]) | []}
      ; x_Tuple62:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(1)]) | []}
      ; x_Tuple61:{VV : func(6, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4)) @(5) ; @(0)]) | []}
      ; x_Tuple55:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(4)]) | []}
      ; x_Tuple54:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(3)]) | []}
      ; x_Tuple53:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(2)]) | []}
      ; x_Tuple52:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(1)]) | []}
      ; x_Tuple51:{VV : func(5, [FAppTy (FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3)) @(4) ; @(0)]) | []}
      ; x_Tuple44:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(3)]) | []}
      ; x_Tuple43:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(2)]) | []}
      ; x_Tuple42:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(1)]) | []}
      ; x_Tuple41:{VV : func(4, [FAppTy (FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2)) @(3) ; @(0)]) | []}
      ; x_Tuple33:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(2)]) | []}
      ; x_Tuple32:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(1)]) | []}
      ; x_Tuple31:{VV : func(3, [FAppTy (FAppTy (FAppTy fix##40##41# @(0)) @(1)) @(2) ; @(0)]) | []}
      ; x_Tuple22:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(1)]) | []}
      ; x_Tuple21:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(0)]) | []}
      ; xListSelector:{VV : func(1, [FAppTy (List ) @(0) ; @(0)]) | []}
      ; snd:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(1)]) | []}
      ; rows:{VV : func(0, [CSV.CSV  ; FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )))]) | []}
      ; papp3:{VV : func(6, [FAppTy (FAppTy (FAppTy (Pred ) @(0)) @(1)) @(2) ; @(3) ; @(4) ; @(5) ; bool]) | []}
      ; papp2:{VV : func(4, [FAppTy (FAppTy (Pred ) @(0)) @(1) ; @(2) ; @(3) ; bool]) | []}
      ; papp1:{VV : func(1, [FAppTy (Pred ) @(0) ; @(0) ; bool]) | []}
      ; null:{VV : func(1, [FAppTy (List ) @(0) ; bool]) | []}
      ; lq_anf__dNz:{lq_tmp_x3707 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x3707) <=> false)
                    ; (len([lq_tmp_x3707]) = (1 + len([lq_anf__dNy])))
                    ; (xsListSelector([lq_tmp_x3707]) = lq_anf__dNy)
                    ; (xListSelector([lq_tmp_x3707]) = lq_anf__dNh)
                    ; (len([lq_tmp_x3707]) >= 0)]}
      ; lq_anf__dNy:{lq_tmp_x3606 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x3606) <=> false)
                    ; (len([lq_tmp_x3606]) = (1 + len([lq_anf__dNx])))
                    ; (xsListSelector([lq_tmp_x3606]) = lq_anf__dNx)
                    ; (xListSelector([lq_tmp_x3606]) = lq_anf__dNo)
                    ; (len([lq_tmp_x3606]) >= 0)]}
      ; lq_anf__dNx:{lq_tmp_x3505 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x3505) <=> false)
                    ; (len([lq_tmp_x3505]) = (1 + len([lq_anf__dNw])))
                    ; (xsListSelector([lq_tmp_x3505]) = lq_anf__dNw)
                    ; (xListSelector([lq_tmp_x3505]) = lq_anf__dNv)
                    ; (len([lq_tmp_x3505]) >= 0)]}
      ; lq_anf__dNw:{lq_tmp_x3440 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                    [(null(lq_tmp_x3440) <=> true); (len([lq_tmp_x3440]) = 0)
                    ; (len([lq_tmp_x3440]) >= 0)]}
      ; lq_anf__dNv:{lq_tmp_x3393 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3393) <=> false)
                    ; (len([lq_tmp_x3393]) = (1 + len([lq_anf__dNu])))
                    ; (xsListSelector([lq_tmp_x3393]) = lq_anf__dNu)
                    ; (xListSelector([lq_tmp_x3393]) = lq_anf__dNp)
                    ; (len([lq_tmp_x3393]) >= 0)]}
      ; lq_anf__dNu:{lq_tmp_x3344 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3344) <=> false)
                    ; (len([lq_tmp_x3344]) = (1 + len([lq_anf__dNt])))
                    ; (xsListSelector([lq_tmp_x3344]) = lq_anf__dNt)
                    ; (xListSelector([lq_tmp_x3344]) = lq_anf__dNs)
                    ; (len([lq_tmp_x3344]) >= 0)]}
      ; lq_anf__dNt:{lq_tmp_x3313 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3313) <=> true); (len([lq_tmp_x3313]) = 0)
                    ; (len([lq_tmp_x3313]) >= 0)]}
      ; lq_anf__dNs:{lq_tmp_x3292 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x3292) <=> false)
                    ; (len([lq_tmp_x3292]) = (1 + len([lq_anf__dNr])))
                    ; (xsListSelector([lq_tmp_x3292]) = lq_anf__dNr)
                    ; (xListSelector([lq_tmp_x3292]) = lq_anf__dNq)
                    ; (len([lq_tmp_x3292]) >= 0)]}
      ; lq_anf__dNr:{lq_tmp_x3278 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x3278) <=> true); (len([lq_tmp_x3278]) = 0)
                    ; (len([lq_tmp_x3278]) >= 0)]}
      ; lq_anf__dNq:{lq_tmp_x3272 : GHC.Types.Char  | []}
      ; lq_anf__dNp:{lq_tmp_x3266 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x3266]) >= 0)]}
      ; lq_anf__dNo:{lq_tmp_x3216 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3216) <=> false)
                    ; (len([lq_tmp_x3216]) = (1 + len([lq_anf__dNn])))
                    ; (xsListSelector([lq_tmp_x3216]) = lq_anf__dNn)
                    ; (xListSelector([lq_tmp_x3216]) = lq_anf__dNi)
                    ; (len([lq_tmp_x3216]) >= 0)]}
      ; lq_anf__dNn:{lq_tmp_x3167 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3167) <=> false)
                    ; (len([lq_tmp_x3167]) = (1 + len([lq_anf__dNm])))
                    ; (xsListSelector([lq_tmp_x3167]) = lq_anf__dNm)
                    ; (xListSelector([lq_tmp_x3167]) = lq_anf__dNl)
                    ; (len([lq_tmp_x3167]) >= 0)]}
      ; lq_anf__dNm:{lq_tmp_x3136 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3136) <=> true); (len([lq_tmp_x3136]) = 0)
                    ; (len([lq_tmp_x3136]) >= 0)]}
      ; lq_anf__dNl:{lq_tmp_x3115 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x3115) <=> false)
                    ; (len([lq_tmp_x3115]) = (1 + len([lq_anf__dNk])))
                    ; (xsListSelector([lq_tmp_x3115]) = lq_anf__dNk)
                    ; (xListSelector([lq_tmp_x3115]) = lq_anf__dNj)
                    ; (len([lq_tmp_x3115]) >= 0)]}
      ; lq_anf__dNk:{lq_tmp_x3101 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x3101) <=> true); (len([lq_tmp_x3101]) = 0)
                    ; (len([lq_tmp_x3101]) >= 0)]}
      ; lq_anf__dNj:{lq_tmp_x3095 : GHC.Types.Char  | []}
      ; lq_anf__dNi:{lq_tmp_x3089 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x3089]) >= 0)]}
      ; lq_anf__dNh:{lq_tmp_x3039 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x3039) <=> false)
                    ; (len([lq_tmp_x3039]) = (1 + len([lq_anf__dNg])))
                    ; (xsListSelector([lq_tmp_x3039]) = lq_anf__dNg)
                    ; (xListSelector([lq_tmp_x3039]) = lq_anf__dNb)
                    ; (len([lq_tmp_x3039]) >= 0)]}
      ; lq_anf__dNg:{lq_tmp_x2990 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2990) <=> false)
                    ; (len([lq_tmp_x2990]) = (1 + len([lq_anf__dNf])))
                    ; (xsListSelector([lq_tmp_x2990]) = lq_anf__dNf)
                    ; (xListSelector([lq_tmp_x2990]) = lq_anf__dNe)
                    ; (len([lq_tmp_x2990]) >= 0)]}
      ; lq_anf__dNf:{lq_tmp_x2959 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2959) <=> true); (len([lq_tmp_x2959]) = 0)
                    ; (len([lq_tmp_x2959]) >= 0)]}
      ; lq_anf__dNe:{lq_tmp_x2938 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x2938) <=> false)
                    ; (len([lq_tmp_x2938]) = (1 + len([lq_anf__dNd])))
                    ; (xsListSelector([lq_tmp_x2938]) = lq_anf__dNd)
                    ; (xListSelector([lq_tmp_x2938]) = lq_anf__dNc)
                    ; (len([lq_tmp_x2938]) >= 0)]}
      ; lq_anf__dNd:{lq_tmp_x2924 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(null(lq_tmp_x2924) <=> true); (len([lq_tmp_x2924]) = 0)
                    ; (len([lq_tmp_x2924]) >= 0)]}
      ; lq_anf__dNc:{lq_tmp_x2918 : GHC.Types.Char  | []}
      ; lq_anf__dNb:{lq_tmp_x2912 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2912]) >= 0)]}
      ; lq_anf__dNa:{lq_tmp_x2862 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2862) <=> false)
                    ; (len([lq_tmp_x2862]) = (1 + len([lq_anf__dN9])))
                    ; (xsListSelector([lq_tmp_x2862]) = lq_anf__dN9)
                    ; (xListSelector([lq_tmp_x2862]) = lq_anf__dN8)
                    ; (len([lq_tmp_x2862]) >= 0)]}
      ; lq_anf__dN9:{lq_tmp_x2831 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | 
                    [(null(lq_tmp_x2831) <=> true); (len([lq_tmp_x2831]) = 0)
                    ; (len([lq_tmp_x2831]) >= 0)]}
      ; lq_anf__dN8:{lq_tmp_x2825 : FAppTy (List ) (GHC.Types.Char ) | 
                    [(len([lq_tmp_x2825]) >= 0)]}
      ; len:{VV : func(1, [FAppTy (List ) @(0) ; int]) | []}
      ; isJust:{VV : func(1, [FAppTy (Data.Maybe.Maybe ) @(0) ; bool]) | []}
      ; headers:{VV : func(0, [CSV.CSV  ; FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))]) | []}
      ; fst:{VV : func(2, [FAppTy (FAppTy fix##40##41# @(0)) @(1) ; @(0)]) | []}
      ; fromJust:{VV : func(1, [FAppTy (Data.Maybe.Maybe ) @(0) ; @(0)]) | []}
      ; fix#GHC.Types.#91##93##35#6m:{VV : func(1, [FAppTy (List ) @(0)]) | []}
      ; fix#GHC.Types.#58##35#64:{VV : func(1, [@(0) ; FAppTy (List ) @(0) ; FAppTy (List ) @(0)]) | []}
      ; fix#GHC.Prim.#62##61##35##35#9n:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#62##35##35#9m:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#61##61##35##35#9o:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#60##61##35##35#9r:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#60##35##35#9q:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#45##35##35#99:{VV : func(0, [int ; int ; int]) | []}
      ; fix#GHC.Prim.#43##35##35#98:{VV : func(0, [int ; int ; int]) | []}
      ; cmp:{VV : func(0, [GHC.Types.Ordering  ; GHC.Types.Ordering ]) | []}
      ; addrLen:{VV : func(0, [int ; int]) | []}
      ; VV#4207:{VV#4207 : FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) | 
                [(null(VV#4207) <=> false)
                ; (len([VV#4207]) = (1 + len([lq_anf__dNy])))
                ; (xsListSelector([VV#4207]) = lq_anf__dNy)
                ; (xListSelector([VV#4207]) = lq_anf__dNh)
                ; (len([VV#4207]) >= 0); (VV#4207 = lq_anf__dNz)
                ; (len([VV#4207]) >= 0)]}
      ; Set_sub:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_sng:{VV : func(1, [@(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_mem:{VV : func(1, [@(0) ; FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_empty:{VV : func(1, [int ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_emp:{VV : func(1, [FAppTy (Set_Set ) @(0) ; bool]) | []}
      ; Set_dif:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_cup:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Set_cap:{VV : func(1, [FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0) ; FAppTy (Set_Set ) @(0)]) | []}
      ; Prop:{VV : func(0, [GHC.Types.Bool  ; bool]) | []}
      ; GHC.Types.LT#6S:{VV#164 : GHC.Types.Ordering  | [(cmp([VV#164]) = GHC.Types.LT#6S)]}
      ; GHC.Types.I##6c:{VV : func(0, [int ; int]) | []}
      ; GHC.Types.GT#6W:{VV#166 : GHC.Types.Ordering  | [(cmp([VV#166]) = GHC.Types.GT#6W)]}
      ; GHC.Types.EQ#6U:{VV#162 : GHC.Types.Ordering  | [(cmp([VV#162]) = GHC.Types.EQ#6U)]}
      ; GHC.Types.C##62:{VV : func(0, [GHC.Prim.Char#  ; GHC.Types.Char ]) | []}
      ; GHC.Integer.Type.smallInteger#0Z:{VV : func(0, [int ; int]) | []}
      ; GHC.CString.unpackCString##0k:{VV : func(0, [int ; FAppTy (List ) (GHC.Types.Char )]) | []}
      ; CSV.csvGood#rpA:{VV#174 : CSV.CSV  | [k_175]}
      ; CSV.csvBad2#rpz:{VV#1857 : CSV.CSV  | [k_1858]}
      ; CSV.Csv#rpv:{VV : func(0, [FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) ; FAppTy (List ) (FAppTy (List ) (FAppTy (List ) (GHC.Types.Char ))) ; CSV.CSV ]) | []}] 
 grd true 
 lhs {VV#F24 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | [k_3734[lq_tmp_x3873:=VV#4207][lq_tmp_x3861:=VV#F24][lq_tmp_x3745:=VV#F24][lq_tmp_x3711:=lq_anf__dNy][lq_tmp_x3710:=lq_anf__dNh][lq_tmp_x3707:=VV#4207][VV#F:=VV#F24][VV#4209:=VV#F24][VV#3733:=VV#F24]]} 
 rhs {VV#F24 : FAppTy (List ) (FAppTy (List ) (GHC.Types.Char )) | [(len([VV#F24]) = len([lq_anf__dNa]))]} 
 id 24 tag [3] // 

UNSAT
LiquidHaskell Copyright 2009-14 Regents of the University of California. All Rights Reserved.


**** DONE:  Extracted Core using GHC *******************************************
 

**** DONE:  generateConstraints ************************************************
 

**** START: fixpoint ***********************************************************
 

**** DONE:  fixpoint ***********************************************************
 

**** DONE:  solve **************************************************************
 

**** DONE:  annotate ***********************************************************
 

**** UNSAFE ********************************************************************


 csv.hs:(18,15)-(21,15): Error: Liquid Type Mismatch
   Inferred type
     VV : [[Char]] | len VV == len ?g && len VV == len ?d && len VV == len ?l && len VV == len ?s && VV /= ?b && VV /= ?z && VV /= ?u && VV /= ?w && VV /= ?f && VV /= ?p && VV /= ?h && VV /= ?m && len VV > 0 && len VV > len ?a0 && len VV > len ?b && len VV > len ?z && len VV > len ?v && len VV > len ?u && len VV > len ?w && len VV > len ?i && len VV > len ?y && len VV > len ?f && len VV > len ?t && len VV > len ?j && len VV > len ?p && len VV > len ?q && len VV > len ?h && len VV > len ?n && len VV > len ?m
  
   not a subtype of Required type
     VV : [[Char]] | len VV == len ?b
  
   In Context
     ?u  : [[Char]] | null ?u <=> false && xListSelector ?u == ?y && len ?u == 1 + len ?z && xsListSelector ?u == ?z && len ?u >= 0
     ?r  : [Char] | len ?r >= 0
     ?q  : [[[Char]]] | null ?q <=> true && len ?q == 0 && len ?q >= 0
     ?s  : [[Char]] | null ?s <=> false && xListSelector ?s == ?o && len ?s == 1 + len ?p && xsListSelector ?s == ?p && len ?s >= 0
     ?o  : [Char] | len ?o >= 0
     ?n  : [Char] | null ?n <=> true && len ?n == 0 && len ?n >= 0
     ?w  : [[Char]] | null ?w <=> false && xListSelector ?w == ?j && len ?w == 1 + len ?f && xsListSelector ?w == ?f && len ?w >= 0
     ?a0 : [Char] | null ?a0 <=> true && len ?a0 == 0 && len ?a0 >= 0
     ?c  : Char
     ?h  : [[Char]] | null ?h <=> true && len ?h == 0 && len ?h >= 0
     ?k  : [Char] | len ?k >= 0
     ?v  : [Char] | null ?v <=> false && xListSelector ?v == ?x && len ?v == 1 + len ?a0 && xsListSelector ?v == ?a0 && len ?v >= 0
     ?p  : [[Char]] | null ?p <=> false && xListSelector ?p == ?v && len ?p == 1 + len ?h && xsListSelector ?p == ?h && len ?p >= 0
     ?i  : [Char] | null ?i <=> true && len ?i == 0 && len ?i >= 0
     ?a  : Char
     ?e  : [Char] | len ?e >= 0
     ?z  : [[Char]] | null ?z <=> true && len ?z == 0 && len ?z >= 0
     ?d  : [[Char]] | null ?d <=> false && xListSelector ?d == ?k && len ?d == 1 + len ?w && xsListSelector ?d == ?w && len ?d >= 0
     ?m  : [[Char]] | null ?m <=> true && len ?m == 0 && len ?m >= 0
     ?j  : [Char] | null ?j <=> false && xListSelector ?j == ?c && len ?j == 1 + len ?i && xsListSelector ?j == ?i && len ?j >= 0
     ?b  : [[Char]] | null ?b <=> false && xListSelector ?b == ?r && len ?b == 1 + len ?m && xsListSelector ?b == ?m && len ?b >= 0
     ?l  : [[[Char]]] | null ?l <=> false && xListSelector ?l == ?d && len ?l == 1 + len ?t && xsListSelector ?l == ?t && len ?l >= 0
     ?x  : Char
     ?y  : [Char] | null ?y <=> false && xListSelector ?y == ?a && len ?y == 1 + len ?n && xsListSelector ?y == ?n && len ?y >= 0
     ?f  : [[Char]] | null ?f <=> true && len ?f == 0 && len ?f >= 0
     ?t  : [[[Char]]] | null ?t <=> false && xListSelector ?t == ?g && len ?t == 1 + len ?q && xsListSelector ?t == ?q && len ?t >= 0
     ?g  : [[Char]] | null ?g <=> false && xListSelector ?g == ?e && len ?g == 1 + len ?u && xsListSelector ?g == ?u && len ?g >= 0


 csv.hs:(26,15)-(29,15): Error: Liquid Type Mismatch
   Inferred type
     VV : [[Char]] | VV /= ?u && VV /= ?b && VV /= ?d && VV /= ?s && len VV > 0 && len VV > len ?u && len VV > len ?b && len VV > len ?d && len VV > len ?s && len VV > len ?t && len VV >= len ?q && len VV >= len ?i && len VV >= len ?l && len VV >= len ?o && len VV >= len ?m && len VV <= len ?f && len VV <= len ?g && len VV <= len ?c && len VV <= len ?r
  
   not a subtype of Required type
     VV : [[Char]] | len VV == len ?c
  
   In Context
     ?u : [[Char]] | null ?u <=> true && len ?u == 0 && len ?u >= 0
     ?r : [[Char]] | null ?r <=> false && xListSelector ?r == ?a && len ?r == 1 + len ?l && xsListSelector ?r == ?l && len ?r >= 0
     ?q : [[Char]] | null ?q <=> false && xListSelector ?q == ?n && len ?q == 1 + len ?d && xsListSelector ?q == ?d && len ?q >= 0
     ?s : [[Char]] | null ?s <=> true && len ?s == 0 && len ?s >= 0
     ?o : [[[Char]]] | null ?o <=> false && xListSelector ?o == ?r && len ?o == 1 + len ?t && xsListSelector ?o == ?t && len ?o >= 0
     ?n : [Char] | len ?n >= 0
     ?c : [[Char]] | null ?c <=> false && xListSelector ?c == ?h && len ?c == 1 + len ?i && xsListSelector ?c == ?i && len ?c >= 0
     ?h : [Char] | len ?h >= 0
     ?k : [Char] | len ?k >= 0
     ?p : [Char] | len ?p >= 0
     ?i : [[Char]] | null ?i <=> false && xListSelector ?i == ?p && len ?i == 1 + len ?u && xsListSelector ?i == ?u && len ?i >= 0
     ?a : [Char] | len ?a >= 0
     ?e : [Char] | len ?e >= 0
     ?d : [[Char]] | null ?d <=> true && len ?d == 0 && len ?d >= 0
     ?m : [[Char]] | null ?m <=> false && xListSelector ?m == ?j && len ?m == 1 + len ?s && xsListSelector ?m == ?s && len ?m >= 0
     ?j : [Char] | len ?j >= 0
     ?b : [[Char]] | null ?b <=> true && len ?b == 0 && len ?b >= 0
     ?l : [[Char]] | null ?l <=> false && xListSelector ?l == ?e && len ?l == 1 + len ?b && xsListSelector ?l == ?b && len ?l >= 0
     ?f : [[Char]] | null ?f <=> false && xListSelector ?f == ?k && len ?f == 1 + len ?q && xsListSelector ?f == ?q && len ?f >= 0
     ?t : [[[Char]]] | null ?t <=> true && len ?t == 0 && len ?t >= 0
     ?g : [[[Char]]] | null ?g <=> false && xListSelector ?g == ?m && len ?g == 1 + len ?o && xsListSelector ?g == ?o && len ?g >= 0