#9 unit test for correction rules