複雑なクリニカルコーチ制約

          1年目の夜勤は

　　■同じチームに夜勤要員が2名いる

　　■かつリーダーレベルが1名いる

■かつ、CC（クリニカルコーチ）がいる

を実装してみます。これらは、ANDなので、独立して実装すればよいです。また、

同じチームは、1年目のチームがAなら、Aチームとすればよいです。

■1年目（Aチーム）が夜勤ならば、Aチームの夜勤要員が2名以上は、

1年目をA,Aチームの夜勤要員をBとすると、

２＊A<=B　とすれば、よいです。Aが0のとき、０＜＝Bで常に成立、Aが１のとき

２＜＝B　となり、B2名が強制されます。

■かつリーダーレベルが1名いる

A<=B=Σリーダレベルシフト和

■かつクリニカルコーチがいる

A<=B(クリニカルコーチ）

となります。