Transform the search order consisting of wid_n, ... wid₂, wid₁ (where wid₁ is searched first) into wid_n, ... wid₂. An ambiguous condition exists if the search order was empty before PREVIOUS was executed.