理屈では制約は満たしていて、ランタイムには想定通りに動くけどIBだと違う、っていうのがありました。 ^ の操作をそのままやると再現できると思います。たぶん。