Added another test case. Turned off some debug outputs.