I fix the bug of finding a non-positive weighted cycle