Linear search for first non-trivial elimination disagrees with binary search code