Nondeterministic lisp evaluation example