test for edge cases when deriving (IL >= n, ki = 0, Ki = INFINITY)