関数 consumesRoot

rootが指すオブジェクトが、その型のままでは残らない分岐があるか——消える（destroy）か、別の型に 変わる（become）か。工程がその入力を使い切るのはこの両方で、消滅だけを問うと、中身入りへ 変わったあとの空の容器が手元に残り続けることになる。