Add test cases that will show the bug that was fixed in r256725.