attempting to find a terminating Kleene-fixpoint iteration algorithm
more tracing