Many thanks for replying to me. It seems difficult but interesting problem. I think about this problem for my graduation thesis theme. If possible, I want to relate this problem with ownership types. Regards, Takuro Ikejiri