Add test for while coverage

Cannot reproduce #127