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