関数 readEffect

効果の宣言（EffectReader）を読み下す。

ここが置いている近似は次のもの。重みを確率に読み替えること——実際の抽選は実行時の実効値で 行われるので、宣言値から出す確率はその代用でしかない。分岐を直積で畳むこと—— 宣言順に並んだ効果は順に起こるので、pickが2つ並べば枝は掛け算になる。そして条件つきの効果を、 著者が書いた枝で代表すること——どちらが著者の枝かはドメインが名乗る（ConditionalBranch.authored）が、 それを全体の答えとして採るのはここの近似。

resolveBecomeDestinationを省くと、becomeの行き先は産出として数えられない。変わる前の型として 残らないことは、行き先を解けなくても言えるので、省いても控える。