FALSE in ["maus", "smartadd", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
```
Starting on goal: $x = map ([maus , []])
Goal arity 4: $x = map ([maus , []])
nextSolution
  Push $x (_1)
  Resetting variable $x (_1)
  Push _1 ($x)
  Resetting variable _1 ($x)
  Push $x (_2)
  Push $collector (_3)
  Resetting variable $collector (_3)
  Resetting variable $x (_2)
  Push _2 ($x)
  Resetting variable _2 ($x)
  Push $a (_4)
  Push $x (_5)
  Push $y (_6)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Resetting variable $a (_4)
  Push _4 ($x)
  Resetting variable _4 ($x)
  Push $a (_7)
  Push $x (_8)
  Push $y (_9)
  Resetting variable $y (_9)
  Resetting variable $x (_8)
  Resetting variable $a (_7)
  Push _7 ($x)
  Resetting variable _7 ($x)
  Push $a (_10)
  Push $x (_11)
  Push $y (_12)
  Resetting variable $y (_12)
  Resetting variable $x (_11)
  Resetting variable $a (_10)
  Push _10 ($x)
  Resetting variable _10 ($x)
  Push $a (_13)
  Push $x (_14)
  Push $y (_15)
  Resetting variable $y (_15)
  Resetting variable $x (_14)
  Resetting variable $a (_13)
  Push _13 ($x)
  Resetting variable _13 ($x)
  Push $x (_16)
  Push $y (_17)
  Resetting variable $y (_17)
  Resetting variable $x (_16)
  Push _16 ($x)
  Resetting variable _16 ($x)
  Push $x (_18)
  Push $y (_19)
  Resetting variable $y (_19)
  Resetting variable $x (_18)
  Push _18 ($x)
  Resetting variable _18 ($x)
  Push $x (_20)
  Push $y (_21)
  Resetting variable $y (_21)
  Resetting variable $x (_20)
  Push _20 ($x)
  Resetting variable _20 ($x)
  Push $x (_22)
  Push $word (_23)
  Push $y (_24)
  Resetting variable $y (_24)
  Resetting variable $word (_23)
  Resetting variable $x (_22)
  Push _22 ($x)
  Resetting variable _22 ($x)
  Push $x (_25)
  Push $name (_26)
  Resetting variable $name (_26)
  Resetting variable $x (_25)
  Push _25 ($x)
  Resetting variable _25 ($x)
  Push $text (_27)
  Push $theories (_28)
  Resetting variable $theories (_28)
  Resetting variable $text (_27)
  Push $x (solve1)
  Push _27 ("=")
  Resetting variable _27 ("=")
  Resetting variable $x (solve1)
  Push $x (dadbot)
  Resetting variable $x (dadbot)
  Push $x (_29)
  Resetting variable $x (_29)
  Push _29 ($x)
  Resetting variable _29 ($x)
  Push $t (_30)
  Push $e1 (_31)
  Resetting variable $e1 (_31)
  Resetting variable $t (_30)
  Push _30 ($x)
  Resetting variable _30 ($x)
  Push $head (_32)
  Push $tail (_33)
  Resetting variable $tail (_33)
  Resetting variable $head (_32)
  Push _32 ($x)
  Resetting variable _32 ($x)
  Push $x (_34)
  Push $head (_35)
  Push $tail (_36)
  Resetting variable $tail (_36)
  Resetting variable $head (_35)
  Resetting variable $x (_34)
  Push _34 ($x)
  Resetting variable _34 ($x)
  Push $y (_37)
  Push $f (_38)
  Push $x (_39)
  Push $e1 (_40)
  Resetting variable $e1 (_40)
  Resetting variable $x (_39)
  Resetting variable $f (_38)
  Resetting variable $y (_37)
  Push _37 ($x)
  Push _38 (maus)
  Push _39 ("[]")
Got clause: _37 = map ([_38 , _39])
  Clause unifies to: $x = map ([maus , []])
  gdash: _40 = map_cons ([maus , eval ([tocons ([])])])
Goal arity 4: _40 = map_cons ([maus , eval ([tocons ([])])])
   Push $x (_41)
   Resetting variable $x (_41)
   Push _41 (_40)
   Resetting variable _41 (_40)
   Push $x (_42)
   Push $collector (_43)
   Resetting variable $collector (_43)
   Resetting variable $x (_42)
   Push _42 (_40)
   Resetting variable _42 (_40)
   Push $a (_44)
   Push $x (_45)
   Push $y (_46)
   Resetting variable $y (_46)
   Resetting variable $x (_45)
   Resetting variable $a (_44)
   Push _44 (_40)
   Resetting variable _44 (_40)
   Push $a (_47)
   Push $x (_48)
   Push $y (_49)
   Resetting variable $y (_49)
   Resetting variable $x (_48)
   Resetting variable $a (_47)
   Push _47 (_40)
   Resetting variable _47 (_40)
   Push $a (_50)
   Push $x (_51)
   Push $y (_52)
   Resetting variable $y (_52)
   Resetting variable $x (_51)
   Resetting variable $a (_50)
   Push _50 (_40)
   Resetting variable _50 (_40)
   Push $a (_53)
   Push $x (_54)
   Push $y (_55)
   Resetting variable $y (_55)
   Resetting variable $x (_54)
   Resetting variable $a (_53)
   Push _53 (_40)
   Resetting variable _53 (_40)
   Push $x (_56)
   Push $y (_57)
   Resetting variable $y (_57)
   Resetting variable $x (_56)
   Push _56 (_40)
   Resetting variable _56 (_40)
   Push $x (_58)
   Push $y (_59)
   Resetting variable $y (_59)
   Resetting variable $x (_58)
   Push _58 (_40)
   Resetting variable _58 (_40)
   Push $x (_60)
   Push $y (_61)
   Resetting variable $y (_61)
   Resetting variable $x (_60)
   Push _60 (_40)
   Resetting variable _60 (_40)
   Push $x (_62)
   Push $word (_63)
   Push $y (_64)
   Resetting variable $y (_64)
   Resetting variable $word (_63)
   Resetting variable $x (_62)
   Push _62 (_40)
   Resetting variable _62 (_40)
   Push $x (_65)
   Push $name (_66)
   Resetting variable $name (_66)
   Resetting variable $x (_65)
   Push _65 (_40)
   Resetting variable _65 (_40)
   Push $text (_67)
   Push $theories (_68)
   Resetting variable $theories (_68)
   Resetting variable $text (_67)
   Push _40 (solve1)
   Push _67 ("=")
   Resetting variable _67 ("=")
   Resetting variable _40 (solve1)
   Push _40 (dadbot)
   Resetting variable _40 (dadbot)
   Push $x (_69)
   Resetting variable $x (_69)
   Push _69 (_40)
   Resetting variable _69 (_40)
   Push $t (_70)
   Push $e1 (_71)
   Resetting variable $e1 (_71)
   Resetting variable $t (_70)
   Push _70 (_40)
   Resetting variable _70 (_40)
   Push $head (_72)
   Push $tail (_73)
   Resetting variable $tail (_73)
   Resetting variable $head (_72)
   Push _72 (_40)
   Resetting variable _72 (_40)
   Push $x (_74)
   Push $head (_75)
   Push $tail (_76)
   Resetting variable $tail (_76)
   Resetting variable $head (_75)
   Resetting variable $x (_74)
   Push _74 (_40)
   Resetting variable _74 (_40)
   Push $y (_77)
   Push $f (_78)
   Push $x (_79)
   Push $e1 (_80)
   Resetting variable $e1 (_80)
   Resetting variable $x (_79)
   Resetting variable $f (_78)
   Resetting variable $y (_77)
   Push _77 (_40)
   Resetting variable _77 (_40)
   Push $f (_81)
   Resetting variable $f (_81)
   Push _40 (end)
   Resetting variable _40 (end)
   Push $z (_82)
   Push $y (_83)
   Push $f (_84)
   Push $word (_85)
   Push $x (_86)
   Resetting variable $x (_86)
   Resetting variable $word (_85)
   Resetting variable $f (_84)
   Resetting variable $y (_83)
   Resetting variable $z (_82)
   Push _40 ("[]"(cons, _82, _83))
   Resetting variable _40 ("[]"(cons, _82, _83))
   Push $x (_87)
   Resetting variable $x (_87)
   Push _40 (maus)
   Resetting variable _40 (maus)
   Push _40 (mrshutco)
   Resetting variable _40 (mrshutco)
   Push _40 ("[]"(not, "()"(false)))
   Resetting variable _40 ("[]"(not, "()"(false)))
   Push _40 ("[]"(not, "()"(true)))
   Resetting variable _40 ("[]"(not, "()"(true)))
   Push $a (_88)
   Push $b (_89)
   Push $c (_90)
   Resetting variable $c (_90)
   Resetting variable $b (_89)
   Resetting variable $a (_88)
   Push _88 (_40)
   Resetting variable _88 (_40)
   Push $a (_91)
   Push $b (_92)
   Push $c (_93)
   Resetting variable $c (_93)
   Resetting variable $b (_92)
   Resetting variable $a (_91)
   Push _91 (_40)
   Resetting variable _91 (_40)
   Push $a (_94)
   Push $b (_95)
   Push $c (_96)
   Resetting variable $c (_96)
   Resetting variable $b (_95)
   Resetting variable $a (_94)
   Push _94 (_40)
   Resetting variable _94 (_40)
   Push $y (_97)
   Push $x (_98)
   Push $e1 (_99)
   Push $e2 (_100)
   Resetting variable $e2 (_100)
   Resetting variable $e1 (_99)
   Resetting variable $x (_98)
   Resetting variable $y (_97)
   Push _97 (_40)
   Resetting variable _97 (_40)
   Push _40 (end)
   Resetting variable _40 (end)
   Push $y (_101)
   Push $word (_102)
   Push $x (_103)
   Resetting variable $x (_103)
   Resetting variable $word (_102)
   Resetting variable $y (_101)
   Push _40 ("[]"(cons, "\"yo!\"", _101))
   Resetting variable _40 ("[]"(cons, "\"yo!\"", _101))
   Push $y (_104)
   Push $x (_105)
   Push $e1 (_106)
   Push $e2 (_107)
   Resetting variable $e2 (_107)
   Resetting variable $e1 (_106)
   Resetting variable $x (_105)
   Resetting variable $y (_104)
   Push _104 (_40)
   Resetting variable _104 (_40)
   Push _40 (end)
   Resetting variable _40 (end)
   Push $e1 (_108)
   Push $y (_109)
   Push $word (_110)
   Push $x (_111)
   Resetting variable $x (_111)
   Resetting variable $word (_110)
   Resetting variable $y (_109)
   Resetting variable $e1 (_108)
   Push _40 ("[]"(cons, _108, _109))
   Resetting variable _40 ("[]"(cons, _108, _109))
  Resetting variable _39 ("[]")
  Resetting variable _38 (maus)
  Resetting variable _37 ($x)
  Push $f (_112)
  Resetting variable $f (_112)
  Push $x (end)
  Resetting variable $x (end)
  Push $z (_113)
  Push $y (_114)
  Push $f (_115)
  Push $word (_116)
  Push $x (_117)
  Resetting variable $x (_117)
  Resetting variable $word (_116)
  Resetting variable $f (_115)
  Resetting variable $y (_114)
  Resetting variable $z (_113)
  Push $x ("[]"(cons, _113, _114))
  Resetting variable $x ("[]"(cons, _113, _114))
  Push $x (_118)
  Resetting variable $x (_118)
  Push $x (maus)
  Resetting variable $x (maus)
  Push $x (mrshutco)
  Resetting variable $x (mrshutco)
  Push $x ("[]"(not, "()"(false)))
  Resetting variable $x ("[]"(not, "()"(false)))
  Push $x ("[]"(not, "()"(true)))
  Resetting variable $x ("[]"(not, "()"(true)))
  Push $a (_119)
  Push $b (_120)
  Push $c (_121)
  Resetting variable $c (_121)
  Resetting variable $b (_120)
  Resetting variable $a (_119)
  Push _119 ($x)
  Resetting variable _119 ($x)
  Push $a (_122)
  Push $b (_123)
  Push $c (_124)
  Resetting variable $c (_124)
  Resetting variable $b (_123)
  Resetting variable $a (_122)
  Push _122 ($x)
  Resetting variable _122 ($x)
  Push $a (_125)
  Push $b (_126)
  Push $c (_127)
  Resetting variable $c (_127)
  Resetting variable $b (_126)
  Resetting variable $a (_125)
  Push _125 ($x)
  Resetting variable _125 ($x)
  Push $y (_128)
  Push $x (_129)
  Push $e1 (_130)
  Push $e2 (_131)
  Resetting variable $e2 (_131)
  Resetting variable $e1 (_130)
  Resetting variable $x (_129)
  Resetting variable $y (_128)
  Push _128 ($x)
  Resetting variable _128 ($x)
  Push $x (end)
  Resetting variable $x (end)
  Push $y (_132)
  Push $word (_133)
  Push $x (_134)
  Resetting variable $x (_134)
  Resetting variable $word (_133)
  Resetting variable $y (_132)
  Push $x ("[]"(cons, "\"yo!\"", _132))
  Resetting variable $x ("[]"(cons, "\"yo!\"", _132))
  Push $y (_135)
  Push $x (_136)
  Push $e1 (_137)
  Push $e2 (_138)
  Resetting variable $e2 (_138)
  Resetting variable $e1 (_137)
  Resetting variable $x (_136)
  Resetting variable $y (_135)
  Push _135 ($x)
  Resetting variable _135 ($x)
  Push $x (end)
  Resetting variable $x (end)
  Push $e1 (_139)
  Push $y (_140)
  Push $word (_141)
  Push $x (_142)
  Resetting variable $x (_142)
  Resetting variable $word (_141)
  Resetting variable $y (_140)
  Resetting variable $e1 (_139)
  Push $x ("[]"(cons, _139, _140))
  Resetting variable $x ("[]"(cons, _139, _140))
Done with goal!
No solution``` 83 ms