Symbol: swap_if_greater