added test case for While() (failing)