Find!
x1 trades places with x2 in circumstance x3.
See also simxu, basti. Similar in meaning to basysi'u, but keeps basti's place structure.