Removes linear search oracle for first non-trivial elimination