Implemented minimal example for while-loop bug reproduction in Testing.