コンシューマ外部参照オブジェクト(群) がフックしている変数同士

二つの変数をユニファイし, 二つの コンシューマ(群) をひとつにまとめる. このユニフィケーションではメソッドの呼び出しは行われない. 処理系核の処理だけで完結する.