TRS:
 {          bsort(nil()) -> nil(),
          bsort(.(x, y)) -> last(.(bubble(.(x, y)), bsort(butlast(bubble(.(x, y)))))),
           bubble(nil()) -> nil(),
     bubble(.(x, nil())) -> .(x, nil()),
   bubble(.(x, .(y, z))) -> if(<=(x, y), .(y, bubble(.(x, z))), .(x, bubble(.(y, z)))),
             last(nil()) -> 0(),
       last(.(x, nil())) -> x,
     last(.(x, .(y, z))) -> last(.(y, z)),
          butlast(nil()) -> nil(),
    butlast(.(x, nil())) -> nil(),
  butlast(.(x, .(y, z))) -> .(x, butlast(.(y, z)))}
 Fail