Improve a test case for the ColoringEngine class