implemented non deterministic while loopps via recursiv generators (+ test)
this generator needs to save the state of the last interation to be correct