FALSE in ["very funny", "smartadd", "drop 'the' test.out", "not test 2", "mrshutco", "not test 1", "not", "what is tasty", "ice cream", "number of theories 2", "and", "is in list", "superior lasagna", "xor", "list comp", "forall_impl", "really funny", "lasagna", "in list", "and 3", "and 4", "usermul", "or", "c# example", "iter", "dadbot+1", "verify 1", "smartmul", "verify 2", "eq", "brackets", "list fillers", "is a theory", "number of theories", "foot-feet", "bit-bits"]
```
Starting on goal: $x = c # example
Goal arity 5: $x = c # example
nextSolution
  Push $x (_1)
  Push $y (_2)
  Resetting variable $y (_2)
  Resetting variable $x (_1)
  Push _1 ($x)
  Resetting variable _1 ($x)
  Push $x (_3)
  Resetting variable $x (_3)
  Push _3 ($x)
  Resetting variable _3 ($x)
  Push $x (_4)
  Push $y (_5)
  Resetting variable $y (_5)
  Resetting variable $x (_4)
  Push _4 ($x)
  Resetting variable _4 ($x)
  Push $x (_6)
  Push $y (_7)
  Resetting variable $y (_7)
  Resetting variable $x (_6)
  Push _6 ($x)
  Resetting variable _6 ($x)
  Push $e2 (_8)
  Push $e1 (_9)
  Resetting variable $e1 (_9)
  Resetting variable $e2 (_8)
  Push _8 ($x)
  Resetting variable _8 ($x)
  Push $e (_10)
  Push $list (_11)
  Push $c (_12)
  Resetting variable $c (_12)
  Resetting variable $list (_11)
  Resetting variable $e (_10)
  Push _10 ($x)
  Resetting variable _10 ($x)
  Push $a (_13)
  Push $b (_14)
  Push $c (_15)
  Resetting variable $c (_15)
  Resetting variable $b (_14)
  Resetting variable $a (_13)
  Push _13 ($x)
  Resetting variable _13 ($x)
  Push $x (the)
  Resetting variable $x (the)
  Push $x ("\"and\"")
  Resetting variable $x ("\"and\"")
  Push $x ("\",\"")
  Resetting variable $x ("\",\"")
  Push $x (_16)
  Push $e1 (_17)
  Resetting variable $e1 (_17)
  Resetting variable $x (_16)
  Push _16 ($x)
  Resetting variable _16 ($x)
Done with goal!
No solution``` 1 ms