java.lang.RuntimeException: time limit reached: 20 s
```
Starting on goal: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]]
Goal arity 3: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]]
nextSolution
Got clause: _10 = [_11 | _12]
  Clause unifies to: $list = [_11 | [[_11 should be $y] and [verify [_11 should be $y]]]]
  gdash: _13 = new collector
Goal arity 4: _13 = new collector
 Got clause: _14 = new collector
   Clause unifies to: _13 = new collector
  Clause is native.
   gdash: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
 Goal arity 3: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
  Got clause: _28 or _29
    Clause unifies to: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true
    gdash: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
  Goal arity 2: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
   Got clause: forall_impl ([_36 , _37 , _38])
     Clause unifies to: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])
     gdash: [_11 should be $y] and [verify [_11 should be $y]]
   Goal arity 3: [_11 should be $y] and [verify [_11 should be $y]]
    Got clause: _39 and _40
      Clause unifies to: [_11 should be $y] and [verify [_11 should be $y]]
      gdash: _11 should be $y
    Goal arity 4: _11 should be $y
     Got clause: [not (false)] should be true
       Clause unifies to: [not (false)] should be true
       gdash: verify [[not (false)] should be true]
     Goal arity 2: verify [[not (false)] should be true]
      Got clause: verify [_115 should be true]
        Clause unifies to: verify [[not (false)] should be true]
        gdash: not (false)
      Goal arity 2: not (false)
       Got clause: not (_126)
         Clause unifies to: not (false)
         gdash: false
       Goal arity 0: false
       Got clause: not (_127)
         Clause unifies to: not (false)
         gdash: saveTo ([[not (false)] , <collector>])
       Goal arity 2: saveTo ([[not (false)] , <collector>])
        Got clause: saveTo ([_128 , _129])
          Clause unifies to: saveTo ([[not (false)] , <collector>])
         Clause is native.
          gdash: false
        Goal arity 0: false
       Got clause: not _147
         Clause unifies to: not (false)
         gdash: not ((false))
       Goal arity 2: not ((false))
        Got clause: not (_158)
          Clause unifies to: not ((false))
          gdash: (false)
        Goal arity 1: (false)
         Got clause: (_159)
           Clause unifies to: (false)
           gdash: false
         Goal arity 0: false
        Got clause: not (_160)
          Clause unifies to: not ((false))
          gdash: saveTo ([[not (false)] , <collector>])
        Goal arity 2: saveTo ([[not (false)] , <collector>])
         Got clause: saveTo ([_161 , _162])
           Clause unifies to: saveTo ([[not (false)] , <collector>])
          Clause is native.
           gdash: false
         Goal arity 0: false
        Got clause: not _180
          Clause unifies to: not ((false))
          gdash: not (((false)))
        Goal arity 2: not (((false)))
         Got clause: not (_191)
           Clause unifies to: not (((false)))
           gdash: ((false))
         Goal arity 1: ((false))
          Got clause: (_192)
            Clause unifies to: ((false))
            gdash: (false)
          Goal arity 1: (false)
           Got clause: (_193)
             Clause unifies to: (false)
             gdash: false
           Goal arity 0: false
         Got clause: not (_194)
           Clause unifies to: not (((false)))
           gdash: saveTo ([[not (false)] , <collector>])
         Goal arity 2: saveTo ([[not (false)] , <collector>])
          Got clause: saveTo ([_195 , _196])
            Clause unifies to: saveTo ([[not (false)] , <collector>])
           Clause is native.
            gdash: false
          Goal arity 0: false
         Got clause: not _214
           Clause unifies to: not (((false)))
           gdash: not ((((false))))
         Goal arity 2: not ((((false))))
          Got clause: not (_225)
            Clause unifies to: not ((((false))))
            gdash: (((false)))
          Goal arity 1: (((false)))
           Got clause: (_226)
             Clause unifies to: (((false)))
             gdash: ((false))
           Goal arity 1: ((false))
            Got clause: (_227)
              Clause unifies to: ((false))
              gdash: (false)
            Goal arity 1: (false)
             Got clause: (_228)
               Clause unifies to: (false)
               gdash: false
             Goal arity 0: false
          Got clause: not (_229)
            Clause unifies to: not ((((false))))
            gdash: saveTo ([[not (false)] , <collector>])
          Goal arity 2: saveTo ([[not (false)] , <collector>])
           Got clause: saveTo ([_230 , _231])
             Clause unifies to: saveTo ([[not (false)] , <collector>])
            Clause is native.
             gdash: false
           Goal arity 0: false
          Got clause: not _249
            Clause unifies to: not ((((false))))
            gdash: not (((((false)))))
          Goal arity 2: not (((((false)))))
           Got clause: not (_260)
             Clause unifies to: not (((((false)))))
             gdash: ((((false))))
           Goal arity 1: ((((false))))
            Got clause: (_261)
              Clause unifies to: ((((false))))
              gdash: (((false)))
            Goal arity 1: (((false)))
             Got clause: (_262)
               Clause unifies to: (((false)))
               gdash: ((false))
             Goal arity 1: ((false))
              Got clause: (_263)
                Clause unifies to: ((false))
                gdash: (false)
              Goal arity 1: (false)
               Got clause: (_264)
                 Clause unifies to: (false)
                 gdash: false
               Goal arity 0: false
           Got clause: not (_265)
             Clause unifies to: not (((((false)))))
             gdash: saveTo ([[not (false)] , <collector>])
           Goal arity 2: saveTo ([[not (false)] , <collector>])
            Got clause: saveTo ([_266 , _267])
              Clause unifies to: saveTo ([[not (false)] , <collector>])
             Clause is native.
              gdash: false
            Goal arity 0: false
           Got clause: not _285
             Clause unifies to: not (((((false)))))
             gdash: not ((((((false))))))
           Goal arity 2: not ((((((false))))))
            Got clause: not (_296)
              Clause unifies to: not ((((((false))))))
              gdash: (((((false)))))
            Goal arity 1: (((((false)))))
             Got clause: (_297)
               Clause unifies to: (((((false)))))
               gdash: ((((false))))
             Goal arity 1: ((((false))))
              Got clause: (_298)
                Clause unifies to: ((((false))))
                gdash: (((false)))
              Goal arity 1: (((false)))
               Got clause: (_299)
                 Clause unifies to: (((false)))
                 gdash: ((false))
               Goal arity 1: ((false))
                Got clause: (_300)
                  Clause unifies to: ((false))
                  gdash: (false)
                Goal arity 1: (false)
                 Got clause: (_301)
                   Clause unifies to: (false)
                   gdash: false
                 Goal arity 0: false
            Got clause: not (_302)
              Clause unifies to: not ((((((false))))))
              gdash: saveTo ([[not (false)] , <collector>])
            Goal arity 2: saveTo ([[not (false)] , <collector>])
             Got clause: saveTo ([_303 , _304])
               Clause unifies to: saveTo ([[not (false)] , <collector>])
              Clause is native.
               gdash: false
             Goal arity 0: false
            Got clause: not _322
              Clause unifies to: not ((((((false))))))
              gdash: not (((((((false)))))))
            Goal arity 2: not (((((((false)))))))
             Got clause: not (_333)
               Clause unifies to: not (((((((false)))))))
               gdash: ((((((false))))))
             Goal arity 1: ((((((false))))))
              Got clause: (_334)
                Clause unifies to: ((((((false))))))
                gdash: (((((false)))))
              Goal arity 1: (((((false)))))
               Got clause: (_335)
                 Clause unifies to: (((((false)))))
                 gdash: ((((false))))
               Goal arity 1: ((((false))))
                Got clause: (_336)
                  Clause unifies to: ((((false))))
                  gdash: (((false)))
                Goal arity 1: (((false)))
                 Got clause: (_337)
                   Clause unifies to: (((false)))
                   gdash: ((false))
                 Goal arity 1: ((false))
                  Got clause: (_338)
                    Clause unifies to: ((false))
                    gdash: (false)
                  Goal arity 1: (false)
                   Got clause: (_339)
                     Clause unifies to: (false)
                     gdash: false
                   Goal arity 0: false
             Got clause: not (_340)
               Clause unifies to: not (((((((false)))))))
               gdash: saveTo ([[not (false)] , <collector>])
             Goal arity 2: saveTo ([[not (false)] , <collector>])
              Got clause: saveTo ([_341 , _342])
                Clause unifies to: saveTo ([[not (false)] , <collector>])
               Clause is native.
                gdash: false
              Goal arity 0: false
             Got clause: not _360
               Clause unifies to: not (((((((false)))))))
               gdash: not ((((((((false))))))))
             Goal arity 2: not ((((((((false))))))))
              Got clause: not (_371)
                Clause unifies to: not ((((((((false))))))))
                gdash: (((((((false)))))))
              Goal arity 1: (((((((false)))))))
               Got clause: (_372)
                 Clause unifies to: (((((((false)))))))
                 gdash: ((((((false))))))
               Goal arity 1: ((((((false))))))
                Got clause: (_373)
                  Clause unifies to: ((((((false))))))
                  gdash: (((((false)))))
                Goal arity 1: (((((false)))))
                 Got clause: (_374)
                   Clause unifies to: (((((false)))))
                   gdash: ((((false))))
                 Goal arity 1: ((((false))))
                  Got clause: (_375)
                    Clause unifies to: ((((false))))
                    gdash: (((false)))
                  Goal arity 1: (((false)))
                   Got clause: (_376)
                     Clause unifies to: (((false)))
                     gdash: ((false))
                   Goal arity 1: ((false))
                    Got clause: (_377)
                      Clause unifies to: ((false))
                      gdash: (false)
                    Goal arity 1: (false)
                     Got clause: (_378)
                       Clause unifies to: (false)
                       gdash: false
                     Goal arity 0: false
              Got clause: not (_379)
                Clause unifies to: not ((((((((false))))))))
                gdash: saveTo ([[not (false)] , <collector>])
              Goal arity 2: saveTo ([[not (false)] , <collector>])
               Got clause: saveTo ([_380 , _381])
                 Clause unifies to: saveTo ([[not (false)] , <collector>])
                Clause is native.
                 gdash: false
               Goal arity 0: false
              Got clause: not _399
                Clause unifies to: not ((((((((false))))))))
                gdash: not (((((((((false)))))))))
              Goal arity 2: not (((((((((false)))))))))
               Got clause: not (_410)
                 Clause unifies to: not (((((((((false)))))))))
                 gdash: ((((((((false))))))))
               Goal arity 1: ((((((((false))))))))
                Got clause: (_411)
                  Clause unifies to: ((((((((false))))))))
                  gdash: (((((((false)))))))
                Goal arity 1: (((((((false)))))))
                 Got clause: (_412)
                   Clause unifies to: (((((((false)))))))
                   gdash: ((((((false))))))
                 Goal arity 1: ((((((false))))))
                  Got clause: (_413)
                    Clause unifies to: ((((((false))))))
                    gdash: (((((false)))))
                  Goal arity 1: (((((false)))))
                   Got clause: (_414)
                     Clause unifies to: (((((false)))))
                     gdash: ((((false))))
                   Goal arity 1: ((((false))))
                    Got clause: (_415)
                      Clause unifies to: ((((false))))
                      gdash: (((false)))
                    Goal arity 1: (((false)))
                     Got clause: (_416)
                       Clause unifies to: (((false)))
                       gdash: ((false))
                     Goal arity 1: ((false))
                      Got clause: (_417)
                        Clause unifies to: ((false))
                        gdash: (false)
                      Goal arity 1: (false)
                       Got clause: (_418)
                         Clause unifies to: (false)
                         gdash: false
                       Goal arity 0: false
               Got clause: not (_419)
                 Clause unifies to: not (((((((((false)))))))))
                 gdash: saveTo ([[not (false)] , <collector>])
               Goal arity 2: saveTo ([[not (false)] , <collector>])
                Got clause: saveTo ([_420 , _421])
                  Clause unifies to: saveTo ([[not (false)] , <collector>])
                 Clause is native.
                  gdash: false
                Goal arity 0: false
               Got clause: not _439
                 Clause unifies to: not (((((((((false)))))))))
                 gdash: not ((((((((((false))))))))))
               Goal arity 2: not ((((((((((false))))))))))
                Got clause: not (_450)
                  Clause unifies to: not ((((((((((false))))))))))
                  gdash: (((((((((false)))))))))
                Goal arity 1: (((((((((false)))))))))
                 Got clause: (_451)
                   Clause unifies to: (((((((((false)))))))))
                   gdash: ((((((((false))))))))
                 Goal arity 1: ((((((((false))))))))
                  Got clause: (_452)
                    Clause unifies to: ((((((((false))))))))
                    gdash: (((((((false)))))))
                  Goal arity 1: (((((((false)))))))
                   Got clause: (_453)
                     Clause unifies to: (((((((false)))))))
                     gdash: ((((((false))))))
                   Goal arity 1: ((((((false))))))
                    Got clause: (_454)
                      Clause unifies to: ((((((false))))))
                      gdash: (((((false)))))
                    Goal arity 1: (((((false)))))
                     Got clause: (_455)
                       Clause unifies to: (((((false)))))
                       gdash: ((((false))))
                     Goal arity 1: ((((false))))
                      Got clause: (_456)
                        Clause unifies to: ((((false))))
                        gdash: (((false)))
                      Goal arity 1: (((false)))
                       Got clause: (_457)
                         Clause unifies to: (((false)))
                         gdash: ((false))
                       Goal arity 1: ((false))
                        Got clause: (_458)
                          Clause unifies to: ((false))
                          gdash: (false)
                        Goal arity 1: (false)
                         Got clause: (_459)
                           Clause unifies to: (false)
                           gdash: false
                         Goal arity 0: false
                Got clause: not (_460)
                  Clause unifies to: not ((((((((((false))))))))))
                  gdash: saveTo ([[not (false)] , <collector>])
                Goal arity 2: saveTo ([[not (false)] , <collector>])
                 Got clause: saveTo ([_461 , _462])
                   Clause unifies to: saveTo ([[not (false)] , <collector>])
                  Clause is native.
                   gdash: false
                 Goal arity 0: false
                Got clause: not _480
                  Clause unifies to: not ((((((((((false))))))))))
                  gdash: not (((((((((((false)))))))))))
                Goal arity 2: not (((((((((((false)))))))))))
                 Got clause: not (_491)
                   Clause unifies to: not (((((((((((false)))))))))))
                   gdash: ((((((((((false))))))))))
                 Goal arity 1: ((((((((((false))))))))))
                  Got clause: (_492)
                    Clause unifies to: ((((((((((false))))))))))
                    gdash: (((((((((false)))))))))
                  Goal arity 1: (((((((((false)))))))))
                   Got clause: (_493)
                     Clause unifies to: (((((((((false)))))))))
                     gdash: ((((((((false))))))))
                   Goal arity 1: ((((((((false))))))))
                    Got clause: (_494)
                      Clause unifies to: ((((((((false))))))))
                      gdash: (((((((false)))))))
                    Goal arity 1: (((((((false)))))))
                     Got clause: (_495)
                       Clause unifies to: (((((((false)))))))
                       gdash: ((((((false))))))
                     Goal arity 1: ((((((false))))))
                      Got clause: (_496)
                        Clause unifies to: ((((((false))))))
                        gdash: (((((false)))))
                      Goal arity 1: (((((false)))))
                       Got clause: (_497)
                         Clause unifies to: (((((false)))))
                         gdash: ((((false))))
                       Goal arity 1: ((((false))))
                        Got clause: (_498)
                          Clause unifies to: ((((false))))
                          gdash: (((false)))
                        Goal arity 1: (((false)))
                         Got clause: (_499)
                           Clause unifies to: (((false)))
                           gdash: ((false))
                         Goal arity 1: ((false))
                          Got clause: (_500)
                            Clause unifies to: ((false))
                            gdash: (false)
                          Goal arity 1: (false)
                           Got clause: (_501)
                             Clause unifies to: (false)
                             gdash: false
                           Goal arity 0: false
                 Got clause: not (_502)
                   Clause unifies to: not (((((((((((false)))))))))))
                   gdash: saveTo ([[not (false)] , <collector>])
                 Goal arity 2: saveTo ([[not (false)] , <collector>])
                  Got clause: saveTo ([_503 , _504])
                    Clause unifies to: saveTo ([[not (false)] , <collector>])
                   Clause is native.
                    gdash: false
                  Goal arity 0: false
                 Got clause: not _522
                   Clause unifies to: not (((((((((((false)))))))))))
                   gdash: not ((((((((((((false))))))))))))
                 Goal arity 2: not ((((((((((((false))))))))))))
                  Got clause: not (_533)
                    Clause unifies to: not ((((((((((((false))))))))))))
                    gdash: (((((((((((false)))))))))))
                  Goal arity 1: (((((((((((false)))))))))))
                   Got clause: (_534)
                     Clause unifies to: (((((((((((false)))))))))))
                     gdash: ((((((((((false))))))))))
                   Goal arity 1: ((((((((((false))))))))))
                    Got clause: (_535)
                      Clause unifies to: ((((((((((false))))))))))
                      gdash: (((((((((false)))))))))
                    Goal arity 1: (((((((((false)))))))))
                     Got clause: (_536)
                       Clause unifies to: (((((((((false)))))))))
                       gdash: ((((((((false))))))))
                     Goal arity 1: ((((((((false))))))))
                      Got clause: (_537)
                        Clause unifies to: ((((((((false))))))))
                        gdash: (((((((false)))))))
                      Goal arity 1: (((((((false)))))))
                       Got clause: (_538)
                         Clause unifies to: (((((((false)))))))
                         gdash: ((((((false))))))
                       Goal arity 1: ((((((false))))))
                        Got clause: (_539)
                          Clause unifies to: ((((((false))))))
                          gdash: (((((false)))))
                        Goal arity 1: (((((false)))))
                         Got clause: (_540)
                           Clause unifies to: (((((false)))))
                           gdash: ((((false))))
                         Goal arity 1: ((((false))))
                          Got clause: (_541)
                            Clause unifies to: ((((false))))
                            gdash: (((false)))
                          Goal arity 1: (((false)))
                           Got clause: (_542)
                             Clause unifies to: (((false)))
                             gdash: ((false))
                           Goal arity 1: ((false))
                            Got clause: (_543)
                              Clause unifies to: ((false))
                              gdash: (false)
                            Goal arity 1: (false)
                             Got clause: (_544)
                               Clause unifies to: (false)
                               gdash: false
                             Goal arity 0: false
                  Got clause: not (_545)
                    Clause unifies to: not ((((((((((((false))))))))))))
                    gdash: saveTo ([[not (false)] , <collector>])
                  Goal arity 2: saveTo ([[not (false)] , <collector>])
                   Got clause: saveTo ([_546 , _547])
                     Clause unifies to: saveTo ([[not (false)] , <collector>])
                    Clause is native.
                     gdash: false
                   Goal arity 0: false
                  Got clause: not _565
                    Clause unifies to: not ((((((((((((false))))))))))))
                    gdash: not (((((((((((((false)))))))))))))
                  Goal arity 2: not (((((((((((((false)))))))))))))
                   Got clause: not (_576)
                     Clause unifies to: not (((((((((((((false)))))))))))))
                     gdash: ((((((((((((false))))))))))))
                   Goal arity 1: ((((((((((((false))))))))))))
                    Got clause: (_577)
                      Clause unifies to: ((((((((((((false))))))))))))
                      gdash: (((((((((((false)))))))))))
                    Goal arity 1: (((((((((((false)))))))))))
                     Got clause: (_578)
                       Clause unifies to: (((((((((((false)))))))))))
                       gdash: ((((((((((false))))))))))
                     Goal arity 1: ((((((((((false))))))))))
                      Got clause: (_579)
                        Clause unifies to: ((((((((((false))))))))))
                        gdash: (((((((((false)))))))))
                      Goal arity 1: (((((((((false)))))))))
                       Got clause: (_580)
                         Clause unifies to: (((((((((false)))))))))
                         gdash: ((((((((false))))))))
                       Goal arity 1: ((((((((false))))))))
                        Got clause: (_581)
                          Clause unifies to: ((((((((false))))))))
                          gdash: (((((((false)))))))
                        Goal arity 1: (((((((false)))))))
                         Got clause: (_582)
                           Clause unifies to: (((((((false)))))))
                           gdash: ((((((false))))))
                         Goal arity 1: ((((((false))))))
                          Got clause: (_583)
                            Clause unifies to: ((((((false))))))
                            gdash: (((((false)))))
                          Goal arity 1: (((((false)))))
                           Got clause: (_584)
                             Clause unifies to: (((((false)))))
                             gdash: ((((false))))
                           Goal arity 1: ((((false))))
                            Got clause: (_585)
                              Clause unifies to: ((((false))))
                              gdash: (((false)))
                            Goal arity 1: (((false)))
                             Got clause: (_586)
                               Clause unifies to: (((false)))
                               gdash: ((false))
                             Goal arity 1: ((false))
                              Got clause: (_587)
                                Clause unifies to: ((false))
                                gdash: (false)
                              Goal arity 1: (false)
                               Got clause: (_588)
                                 Clause unifies to: (false)
                                 gdash: false
                               Goal arity 0: false
                   Got clause: not (_589)
                     Clause unifies to: not (((((((((((((false)))))))))))))
                     gdash: saveTo ([[not (false)] , <collector>])
                   Goal arity 2: saveTo ([[not (false)] , <collector>])
                    Got clause: saveTo ([_590 , _591])
                      Clause unifies to: saveTo ([[not (false)] , <collector>])
                     Clause is native.
                      gdash: false
                    Goal arity 0: false
                   Got clause: not _609
                     Clause unifies to: not (((((((((((((false)))))))))))))
                     gdash: not ((((((((((((((false))))))))))))))
                   Goal arity 2: not ((((((((((((((false))))))))))))))
                    Got clause: not (_620)
                      Clause unifies to: not ((((((((((((((false))))))))))))))
                      gdash: (((((((((((((false)))))))))))))
                    Goal arity 1: (((((((((((((false)))))))))))))
                     Got clause: (_621)
                       Clause unifies to: (((((((((((((false)))))))))))))
                       gdash: ((((((((((((false))))))))))))
                     Goal arity 1: ((((((((((((false))))))))))))
                      Got clause: (_622)
                        Clause unifies to: ((((((((((((false))))))))))))
                        gdash: (((((((((((false)))))))))))
                      Goal arity 1: (((((((((((false)))))))))))
                       Got clause: (_623)
                         Clause unifies to: (((((((((((false)))))))))))
                         gdash: ((((((((((false))))))))))
                       Goal arity 1: ((((((((((false))))))))))
                        Got clause: (_624)
                          Clause unifies to: ((((((((((false))))))))))
                          gdash: (((((((((false)))))))))
                        Goal arity 1: (((((((((false)))))))))
                         Got clause: (_625)
                           Clause unifies to: (((((((((false)))))))))
                           gdash: ((((((((false))))))))
                         Goal arity 1: ((((((((false))))))))
                          Got clause: (_626)
                            Clause unifies to: ((((((((false))))))))
                            gdash: (((((((false)))))))
                          Goal arity 1: (((((((false)))))))
                           Got clause: (_627)
                             Clause unifies to: (((((((false)))))))
                             gdash: ((((((false))))))
                           Goal arity 1: ((((((false))))))
                            Got clause: (_628)
                              Clause unifies to: ((((((false))))))
                              gdash: (((((false)))))
                            Goal arity 1: (((((false)))))
                             Got clause: (_629)
                               Clause unifies to: (((((false)))))
                               gdash: ((((false))))
                             Goal arity 1: ((((false))))
                              Got clause: (_630)
                                Clause unifies to: ((((false))))
                                gdash: (((false)))
                              Goal arity 1: (((false)))
                               Got clause: (_631)
                                 Clause unifies to: (((false)))
                                 gdash: ((false))
                               Goal arity 1: ((false))
                                Got clause: (_632)
                                  Clause unifies to: ((false))
                                  gdash: (false)
                                Goal arity 1: (false)
                                 Got clause: (_633)
                                   Clause unifies to: (false)
                                   gdash: false
                                 Goal arity 0: false
                    Got clause: not (_634)
                      Clause unifies to: not ((((((((((((((false))))))))))))))
                      gdash: saveTo ([[not (false)] , <collector>])
                    Goal arity 2: saveTo ([[not (false)] , <collector>])
                     Got clause: saveTo ([_635 , _636])
                       Clause unifies to: saveTo ([[not (false)] , <collector>])
                      Clause is native.
                       gdash: false
                     Goal arity 0: false
                    Got clause: not _654
                      Clause unifies to: not ((((((((((((((false))))))))))))))
                      gdash: not (((((((((((((((false)))))))))))))))
                    Goal arity 2: not (((((((((((((((false)))))))))))))))
                     Got clause: not (_665)
                       Clause unifies to: not (((((((((((((((false)))))))))))))))
                       gdash: ((((((((((((((false))))))))))))))
                     Goal arity 1: ((((((((((((((false))))))))))))))
                      Got clause: (_666)
                        Clause unifies to: ((((((((((((((false))))))))))))))
                        gdash: (((((((((((((false)))))))))))))
                      Goal arity 1: (((((((((((((false)))))))))))))
                       Got clause: (_667)
                         Clause unifies to: (((((((((((((false)))))))))))))
                         gdash: ((((((((((((false))))))))))))
                       Goal arity 1: ((((((((((((false))))))))))))
                        Got clause: (_668)
                          Clause unifies to: ((((((((((((false))))))))))))
                          gdash: (((((((((((false)))))))))))
                        Goal arity 1: (((((((((((false)))))))))))
                         Got clause: (_669)
                           Clause unifies to: (((((((((((false)))))))))))
                           gdash: ((((((((((false))))))))))
                         Goal arity 1: ((((((((((false))))))))))
                          Got clause: (_670)
                            Clause unifies to: ((((((((((false))))))))))
                            gdash: (((((((((false)))))))))
                          Goal arity 1: (((((((((false)))))))))
                           Got clause: (_671)
                             Clause unifies to: (((((((((false)))))))))
                             gdash: ((((((((false))))))))
                           Goal arity 1: ((((((((false))))))))
                            Got clause: (_672)
                              Clause unifies to: ((((((((false))))))))
                              gdash: (((((((false)))))))
                            Goal arity 1: (((((((false)))))))
                             Got clause: (_673)
                               Clause unifies to: (((((((false)))))))
                               gdash: ((((((false))))))
                             Goal arity 1: ((((((false))))))
                              Got clause: (_674)
                                Clause unifies to: ((((((false))))))
                                gdash: (((((false)))))
                              Goal arity 1: (((((false)))))
                               Got clause: (_675)
                                 Clause unifies to: (((((false)))))
                                 gdash: ((((false))))
                               Goal arity 1: ((((false))))
                                Got clause: (_676)
                                  Clause unifies to: ((((false))))
                                  gdash: (((false)))
                                Goal arity 1: (((false)))
                                 Got clause: (_677)
                                   Clause unifies to: (((false)))
                                   gdash: ((false))
                                 Goal arity 1: ((false))
                                  Got clause: (_678)
                                    Clause unifies to: ((false))
                                    gdash: (false)
                                  Goal arity 1: (false)
                                   Got clause: (_679)
                                     Clause unifies to: (false)
                                     gdash: false
                                   Goal arity 0: false
                     Got clause: not (_680)
                       Clause unifies to: not (((((((((((((((false)))))))))))))))
                       gdash: saveTo ([[not (false)] , <collector>])
                     Goal arity 2: saveTo ([[not (false)] , <collector>])
                      Got clause: saveTo ([_681 , _682])
                        Clause unifies to: saveTo ([[not (false)] , <collector>])
                       Clause is native.
                        gdash: false
                      Goal arity 0: false
                     Got clause: not _700
                       Clause unifies to: not (((((((((((((((false)))))))))))))))
                       gdash: not ((((((((((((((((false))))))))))))))))
                     Goal arity 2: not ((((((((((((((((false))))))))))))))))
                      Got clause: not (_711)
                        Clause unifies to: not ((((((((((((((((false))))))))))))))))
                        gdash: (((((((((((((((false)))))))))))))))
                      Goal arity 1: (((((((((((((((false)))))))))))))))
                       Got clause: (_712)
                         Clause unifies to: (((((((((((((((false)))))))))))))))
                         gdash: ((((((((((((((false))))))))))))))
                       Goal arity 1: ((((((((((((((false))))))))))))))
                        Got clause: (_713)
                          Clause unifies to: ((((((((((((((false))))))))))))))
                          gdash: (((((((((((((false)))))))))))))
                        Goal arity 1: (((((((((((((false)))))))))))))
                         Got clause: (_714)
                           Clause unifies to: (((((((((((((false)))))))))))))
                           gdash: ((((((((((((false))))))))))))
                         Goal arity 1: ((((((((((((false))))))))))))
                          Got clause: (_715)
                            Clause unifies to: ((((((((((((false))))))))))))
                            gdash: (((((((((((false)))))))))))
                          Goal arity 1: (((((((((((false)))))))))))
                           Got clause: (_716)
                             Clause unifies to: (((((((((((false)))))))))))
                             gdash: ((((((((((false))))))))))
                           Goal arity 1: ((((((((((false))))))))))
                            Got clause: (_717)
                              Clause unifies to: ((((((((((false))))))))))
                              gdash: (((((((((false)))))))))
                            Goal arity 1: (((((((((false)))))))))
                             Got clause: (_718)
                               Clause unifies to: (((((((((false)))))))))
                               gdash: ((((((((false))))))))
                             Goal arity 1: ((((((((false))))))))
                              Got clause: (_719)
                                Clause unifies to: ((((((((false))))))))
                                gdash: (((((((false)))))))
                              Goal arity 1: (((((((false)))))))
                               Got clause: (_720)
                                 Clause unifies to: (((((((false)))))))
                                 gdash: ((((((false))))))
                               Goal arity 1: ((((((false))))))
                                Got clause: (_721)
                                  Clause unifies to: ((((((false))))))
                                  gdash: (((((false)))))
                                Goal arity 1: (((((false)))))
                                 Got clause: (_722)
                                   Clause unifies to: (((((false)))))
                                   gdash: ((((false))))
                                 Goal arity 1: ((((false))))
                                  Got clause: (_723)
                                    Clause unifies to: ((((false))))
                                    gdash: (((false)))
                                  Goal arity 1: (((false)))
                                   Got clause: (_724)
                                     Clause unifies to: (((false)))
                                     gdash: ((false))
                                   Goal arity 1: ((false))
                                    Got clause: (_725)
                                      Clause unifies to: ((false))
                                      gdash: (false)
                                    Goal arity 1: (false)
                                     Got clause: (_726)
                                       Clause unifies to: (false)
                                       gdash: false
                                     Goal arity 0: false
                      Got clause: not (_727)
                        Clause unifies to: not ((((((((((((((((false))))))))))))))))
                        gdash: saveTo ([[not (false)] , <collector>])
                      Goal arity 2: saveTo ([[not (false)] , <collector>])
                       Got clause: saveTo ([_728 , _729])
                         Clause unifies to: saveTo ([[not (false)] , <collector>])
                        Clause is native.
                         gdash: false
                       Goal arity 0: false
                      Got clause: not _747
                        Clause unifies to: not ((((((((((((((((false))))))))))))))))
                        gdash: not (((((((((((((((((false)))))))))))))))))
                      Goal arity 2: not (((((((((((((((((false)))))))))))))))))
                       Got clause: not (_758)
                         Clause unifies to: not (((((((((((((((((false)))))))))))))))))
                         gdash: ((((((((((((((((false))))))))))))))))
                       Goal arity 1: ((((((((((((((((false))))))))))))))))
                        Got clause: (_759)
                          Clause unifies to: ((((((((((((((((false))))))))))))))))
                          gdash: (((((((((((((((false)))))))))))))))
                        Goal arity 1: (((((((((((((((false)))))))))))))))
                         Got clause: (_760)
                           Clause unifies to: (((((((((((((((false)))))))))))))))
                           gdash: ((((((((((((((false))))))))))))))
                         Goal arity 1: ((((((((((((((false))))))))))))))
                          Got clause: (_761)
                            Clause unifies to: ((((((((((((((false))))))))))))))
                            gdash: (((((((((((((false)))))))))))))
                          Goal arity 1: (((((((((((((false)))))))))))))
                           Got clause: (_762)
                             Clause unifies to: (((((((((((((false)))))))))))))
                             gdash: ((((((((((((false))))))))))))
                           Goal arity 1: ((((((((((((false))))))))))))
                            Got clause: (_763)
                              Clause unifies to: ((((((((((((false))))))))))))
                              gdash: (((((((((((false)))))))))))
                            Goal arity 1: (((((((((((false)))))))))))
                             Got clause: (_764)
                               Clause unifies to: (((((((((((false)))))))))))
                               gdash: ((((((((((false))))))))))
                             Goal arity 1: ((((((((((false))))))))))
                              Got clause: (_765)
                                Clause unifies to: ((((((((((false))))))))))
                                gdash: (((((((((false)))))))))
                              Goal arity 1: (((((((((false)))))))))
                               Got clause: (_766)
                                 Clause unifies to: (((((((((false)))))))))
                                 gdash: ((((((((false))))))))
                               Goal arity 1: ((((((((false))))))))
                                Got clause: (_767)
                                  Clause unifies to: ((((((((false))))))))
                                  gdash: (((((((false)))))))
                                Goal arity 1: (((((((false)))))))
                                 Got clause: (_768)
                                   Clause unifies to: (((((((false)))))))
                                   gdash: ((((((false))))))
                                 Goal arity 1: ((((((false))))))
                                  Got clause: (_769)
                                    Clause unifies to: ((((((false))))))
                                    gdash: (((((false)))))
                                  Goal arity 1: (((((false)))))
                                   Got clause: (_770)
                                     Clause unifies to: (((((false)))))
                                     gdash: ((((false))))
                                   Goal arity 1: ((((false))))
                                    Got clause: (_771)
                                      Clause unifies to: ((((false))))
                                      gdash: (((false)))
                                    Goal arity 1: (((false)))
                                     Got clause: (_772)
                                       Clause unifies to: (((false)))
                                       gdash: ((false))
                                     Goal arity 1: ((false))
                                      Got clause: (_773)
                                        Clause unifies to: ((false))
                                        gdash: (false)
                                      Goal arity 1: (false)
                                       Got clause: (_774)
                                         Clause unifies to: (false)
                                         gdash: false
                                       Goal arity 0: false
                       Got clause: not (_775)
                         Clause unifies to: not (((((((((((((((((false)))))))))))))))))
                         gdash: saveTo ([[not (false)] , <collector>])
                       Goal arity 2: saveTo ([[not (false)] , <collector>])
                        Got clause: saveTo ([_776 , _777])
                          Clause unifies to: saveTo ([[not (false)] , <collector>])
                         Clause is native.
                          gdash: false
                        Goal arity 0: false
                       Got clause: not _795
                         Clause unifies to: not (((((((((((((((((false)))))))))))))))))
                         gdash: not ((((((((((((((((((false))))))))))))))))))
                       Goal arity 2: not ((((((((((((((((((false))))))))))))))))))
                        Got clause: not (_806)
                          Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
                          gdash: (((((((((((((((((false)))))))))))))))))
                        Goal arity 1: (((((((((((((((((false)))))))))))))))))
                         Got clause: (_807)
                           Clause unifies to: (((((((((((((((((false)))))))))))))))))
                           gdash: ((((((((((((((((false))))))))))))))))
                         Goal arity 1: ((((((((((((((((false))))))))))))))))
                          Got clause: (_808)
                            Clause unifies to: ((((((((((((((((false))))))))))))))))
                            gdash: (((((((((((((((false)))))))))))))))
                          Goal arity 1: (((((((((((((((false)))))))))))))))
                           Got clause: (_809)
                             Clause unifies to: (((((((((((((((false)))))))))))))))
                             gdash: ((((((((((((((false))))))))))))))
                           Goal arity 1: ((((((((((((((false))))))))))))))
                            Got clause: (_810)
                              Clause unifies to: ((((((((((((((false))))))))))))))
                              gdash: (((((((((((((false)))))))))))))
                            Goal arity 1: (((((((((((((false)))))))))))))
                             Got clause: (_811)
                               Clause unifies to: (((((((((((((false)))))))))))))
                               gdash: ((((((((((((false))))))))))))
                             Goal arity 1: ((((((((((((false))))))))))))
                              Got clause: (_812)
                                Clause unifies to: ((((((((((((false))))))))))))
                                gdash: (((((((((((false)))))))))))
                              Goal arity 1: (((((((((((false)))))))))))
                               Got clause: (_813)
                                 Clause unifies to: (((((((((((false)))))))))))
                                 gdash: ((((((((((false))))))))))
                               Goal arity 1: ((((((((((false))))))))))
                                Got clause: (_814)
                                  Clause unifies to: ((((((((((false))))))))))
                                  gdash: (((((((((false)))))))))
                                Goal arity 1: (((((((((false)))))))))
                                 Got clause: (_815)
                                   Clause unifies to: (((((((((false)))))))))
                                   gdash: ((((((((false))))))))
                                 Goal arity 1: ((((((((false))))))))
                                  Got clause: (_816)
                                    Clause unifies to: ((((((((false))))))))
                                    gdash: (((((((false)))))))
                                  Goal arity 1: (((((((false)))))))
                                   Got clause: (_817)
                                     Clause unifies to: (((((((false)))))))
                                     gdash: ((((((false))))))
                                   Goal arity 1: ((((((false))))))
                                    Got clause: (_818)
                                      Clause unifies to: ((((((false))))))
                                      gdash: (((((false)))))
                                    Goal arity 1: (((((false)))))
                                     Got clause: (_819)
                                       Clause unifies to: (((((false)))))
                                       gdash: ((((false))))
                                     Goal arity 1: ((((false))))
                                      Got clause: (_820)
                                        Clause unifies to: ((((false))))
                                        gdash: (((false)))
                                      Goal arity 1: (((false)))
                                       Got clause: (_821)
                                         Clause unifies to: (((false)))
                                         gdash: ((false))
                                       Goal arity 1: ((false))
                                        Got clause: (_822)
                                          Clause unifies to: ((false))
                                          gdash: (false)
                                        Goal arity 1: (false)
                                         Got clause: (_823)
                                           Clause unifies to: (false)
                                           gdash: false
                                         Goal arity 0: false
                        Got clause: not (_824)
                          Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
                          gdash: saveTo ([[not (false)] , <collector>])
                        Goal arity 2: saveTo ([[not (false)] , <collector>])
                         Got clause: saveTo ([_825 , _826])
                           Clause unifies to: saveTo ([[not (false)] , <collector>])
                          Clause is native.
                           gdash: false
                         Goal arity 0: false
                        Got clause: not _844
                          Clause unifies to: not ((((((((((((((((((false))))))))))))))))))
                          gdash: not (((((((((((((((((((false)))))))))))))))))))
                        Goal arity 2: not (((((((((((((((((((false)))))))))))))))))))
                         Got clause: not (_855)
                           Clause unifies to: not (((((((((((((((((((false)))))))))))))))))))
                           gdash: ((((((((((((((((((false))))))))))))))))))
                         Goal arity 1: ((((((((((((((((((false))))))))))))))))))
                          Got clause: (_856)
                            Clause unifies to: ((((((((((((((((((false))))))))))))))))))
                            gdash: (((((((((((((((((false)))))))))))))))))
                          Goal arity 1: (((((((((((((((((false)))))))))))))))))
                           Got clause: (_857)
                             Clause unifies to: (((((((((((((((((false)))))))))))))))))
                             gdash: ((((((((((((((((false))))))))))))))))
                           Goal arity 1: ((((((((((((((((false))))))))))))))))
                            Got clause: (_858)
                              Clause unifies to: ((((((((((((((((false))))))))))))))))
                              gdash: (((((((((((((((false)))))))))))))))
                            Goal arity 1: (((((((((((((((false)))))))))))))))
                             Got clause: (_859)
                               Clause unifies to: (((((((((((((((false)))))))))))))))
                               gdash: ((((((((((((((false))))))))))))))
                             Goal arity 1: ((((((((((((((false))))))))))))))
                              Got clause: (_860)
                                Clause unifies to: ((((((((((((((false))))))))))))))
                                gdash: (((((((((((((false)))))))))))))
                              Goal arity 1: (((((((((((((false)))))))))))))
                               Got clause: (_861)
                                 Clause unifies to: (((((((((((((false)))))))))))))
                                 gdash: ((((((((((((false))))))))))))
                               Goal arity 1: ((((((((((((false))))))))))))
                                Got clause: (_862)
                                  Clause unifies to: ((((((((((((false))))))))))))
                                  gdash: (((((((((((false)))))))))))
                                Goal arity 1: (((((((((((false)))))))))))
                                 Got clause: (_863)
                                   Clause unifies to: (((((((((((false)))))))))))
                                   gdash: ((((((((((false))))))))))
                                 Goal arity 1: ((((((((((false))))))))))
                                  Got clause: (_864)
                                    Clause unifies to: ((((((((((false))))))))))
                                    gdash: (((((((((false)))))))))
                                  Goal arity 1: (((((((((false)))))))))
                                   Got clause: (_865)
                                     Clause unifies to: (((((((((false)))))))))
                                     gdash: ((((((((false))))))))
                                   Goal arity 1: ((((((((false))))))))
                                    Got clause: (_866)
                                      Clause unifies to: ((((((((false))))))))
                                      gdash: (((((((false)))))))
                                    Goal arity 1: (((((((false)))))))
                                     Got clause: (_867)
                                       Clause unifies to: (((((((false)))))))
[Log overflow]```