The function has inconsistent behavior, depending on the existence or non-existence of the element being searched for. This is called a "program exception" in Ada because the program unit is not "well formed."