Add test for NegativeCycleException