runSingle "if * forget * memorize * assume * say * if * and * assume * say * if * and * say *"("* < *"(User, "* < *"(says, "* < *"(consider, "* < *"(this, "* < *"(string, S))))), "* < *"(current, "* < *"(string, "* < *"(is, "*"))), "* < *"(current, "* < *"(string, "* < *"(is, S))), "* < *"("* > *"(the, "* < *"(length, "* < *"(of, "* < *"(string, S)))), "* < *"(is, "* < *"(L, characters))), "* *"(ok, "* < *"("it has", "* < *"(L, characters))), "* < *"(User, "* < *"(says, "* < *"(how, "* < *"(long, "* < *"(is, it))))), "* < *"(current, "* < *"(string, "* < *"(is, S))), "* < *"("* > *"(the, "* < *"(length, "* < *"(of, "* < *"(string, S)))), "* < *"(is, "* < *"(L, characters))), "* < *"("* > *"(the, string), "* < *"(has, "* < *"(L, characters))), "* < *"(User, "* < *"(says, "* < *"(show, string))), "* < *"(current, "* < *"(string, "* < *"(is, S))), "* < *"(here, "* < *"(it, "* < *"(is, "* < *"(":", S)))))
[OK]  step if [User < says < consider < this < string < S] with SNLMatches(map=hashmap{"User"=l("user"), "S"=l("\"hello world\"")}, log=["User", "S"])
[FAIL]  step forget [current < string < is < *] with SNLMatches(map=hashmap{"User"=l("user"), "S"=l("\"hello world\"")}, log=["User", "S"])