関数 mutuallyExclusive

2つの条件（14節）が同時には成立しないと、宣言だけから言い切れるか。

tick毎の増減をいくつ重ねられるかは、条件がどう組み合わさるかで決まる（rangeCycles.tickAmountsOf）。 同じ気温をltとgteで見ている寒さと暖かさのように、書かれた条件そのものが重なりを禁じている ことは多く、そこを重なりうる1つの場合として数えると打ち消し合って周期が消える。

言い切れるときだけ真を返す。 枠の中身・段・型の合致のように値の重なりで表せない葉は制約を 生まないので、それらしか書かれていない条件どうしは常に「重なりうる」に倒れる。