TRUE.
```
$l = a
```
```
Starting on goal: $l = [a | true]
Goal arity 3: $l = [a | true]
nextSolution
  Push $l ($l)
  Resetting variable $l ("[]"(ice, cream))
  Push $a ($a)
  Push $b ($b)
  Resetting variable $b (_2)
  Resetting variable $a (_1)
  Push ___ (_1)
  Resetting variable ___ ($l)
  Push $x ($x)
  Push $y ($y)
  Resetting variable $y (_4)
  Resetting variable $x (_3)
  Push ___ (_3)
  Resetting variable ___ ($l)
  Push $x ($x)
  Push $y ($y)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Push ___ (_5)
  Resetting variable ___ ($l)
  Push $list ($list)
  Push $x ($x)
  Push $cond ($cond)
  Push $c ($c)
  Resetting variable $c (_10)
  Resetting variable $cond (_9)
  Resetting variable $x (_8)
  Resetting variable $list (_7)
  Push ___ (_7)
  Push ___ (_8)
  Push ___ (_9)
Got clause: _7 = [_8 | _9]
  Clause unifies to: $l = [a | true]
  gdash: _10 = new collector
Goal arity 4: _10 = new collector
   Push $x ($x)
   Resetting variable $x (_11)
   Push ___ (_11)
 Got clause: _11 = new collector
   Clause unifies to: _10 = new collector
  Clause is native.
   Push ___ (_10)
   gdash: [forall_impl ([a , true , <collector>])] or true
 Goal arity 3: [forall_impl ([a , true , <collector>])] or true
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_13)
    Resetting variable $a (_12)
    Push ___ (_12)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x ($x)
    Push $y ($y)
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Push ___ (_14)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x ($x)
    Push $y ($y)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Push ___ (_16)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $list ($list)
    Push $x ($x)
    Push $cond ($cond)
    Push $c ($c)
    Resetting variable $c (_21)
    Resetting variable $cond (_20)
    Resetting variable $x (_19)
    Resetting variable $list (_18)
    Push ___ (_18)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $e ($e)
    Push $c ($c)
    Push $list ($list)
    Resetting variable $list (_24)
    Resetting variable $c (_23)
    Resetting variable $e (_22)
    Push ___ (_22)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_26)
    Resetting variable $a (_25)
    Push ___ (_25)
    Push ___ (_26)
  Got clause: _25 or _26
    Clause unifies to: [forall_impl ([a , true , <collector>])] or true
    gdash: forall_impl ([a , true , <collector>])
  Goal arity 2: forall_impl ([a , true , <collector>])
     Push $x ($x)
     Push $collector ($collector)
     Resetting variable $collector (_28)
     Resetting variable $x (_27)
     Push $x ($x)
     Resetting variable $x (_29)
     Push $x ($x)
     Resetting variable $x (_30)
     Push $x ($x)
     Resetting variable $x (_31)
     Push $x ($x)
     Resetting variable $x (_32)
     Push $x ($x)
     Push $cond ($cond)
     Push $c ($c)
     Resetting variable $c (_35)
     Resetting variable $cond (_34)
     Resetting variable $x (_33)
     Push ___ (_33)
     Push ___ (_34)
     Push ___ (_35)
   Got clause: forall_impl ([_33 , _34 , _35])
     Clause unifies to: forall_impl ([a , true , <collector>])
     gdash: true
   Goal arity 0: true
    Got clause: true
      Clause unifies to: true
      gdash: saveTo ([a , <collector>])
    Goal arity 2: saveTo ([a , <collector>])
       Push $x ($x)
       Push $collector ($collector)
       Resetting variable $collector (_37)
       Resetting variable $x (_36)
       Push ___ (_36)
       Push ___ (_37)
     Got clause: saveTo ([_36 , _37])
       Clause unifies to: saveTo ([a , <collector>])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable ___ (<collector>)
       Resetting variable ___ (a)
       Push $x ($x)
       Resetting variable $x (_38)
       Push $x ($x)
       Resetting variable $x (_39)
       Push $x ($x)
       Resetting variable $x (_40)
       Push $x ($x)
       Resetting variable $x (_41)
       Push $x ($x)
       Push $cond ($cond)
       Push $c ($c)
       Resetting variable $c (_44)
       Resetting variable $cond (_43)
       Resetting variable $x (_42)
       Push $c ($c)
       Push $a ($a)
       Push $b ($b)
       Resetting variable $b (_47)
       Resetting variable $a (_46)
       Resetting variable $c (_45)
       Push $x ($x)
       Resetting variable $x (_48)
       Push $x ($x)
       Resetting variable $x (_49)
     Resetting variable ___ (<collector>)
     Resetting variable ___ (true)
     Resetting variable ___ (a)
     Push $c ($c)
     Push $a ($a)
     Push $b ($b)
     Resetting variable $b (_52)
     Resetting variable $a (_51)
     Resetting variable $c (_50)
     Push $x ($x)
     Resetting variable $x (_53)
     Push $x ($x)
     Resetting variable $x (_54)
    Resetting variable ___ (true)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_56)
    Resetting variable $a (_55)
    Push ___ (_55)
    Push ___ (_56)
  Got clause: _55 or _56
    Clause unifies to: [forall_impl ([a , true , <collector>])] or true
    gdash: true
  Goal arity 0: true
   Got clause: true
     Clause unifies to: true
     gdash: $l = retrieve (<collector>)
   Goal arity 4: $l = retrieve (<collector>)
      Push $x ($x)
      Resetting variable $x (_57)
      Push ___ (_57)
      Resetting variable ___ ($l)
      Push $x ($x)
      Push $retrieve ($retrieve)
      Push $collector ($collector)
      Resetting variable $collector (_60)
      Resetting variable $retrieve (_59)
      Resetting variable $x (_58)
      Push ___ (_58)
      Push ___ (_59)
      Push ___ (_60)
    Got clause: _58 = _59 (_60)
      Clause unifies to: $l = retrieve (<collector>)
     Clause is native.
      Push $l ($l)
      gdash: -
SUCCESS!
  solution found in step 55```
[done] 17 ms