Add while.xra test.