Catch r←[x](F⎊G)y

Run [x]F y. If it succeeds, r is its result; otherwise r is [x]G y.