てか、不定（zを含まない）はあり得る条件だからどうなるかは予想出来るし回路もだいたい解るよ。
設計図を使った設計でもでは割とあるし。（例えばさっき出たプライオリティーエンコーダとか）

しかしだ、zを条件に含むとどうしようもないよ。信号がｚかどうかは例えばトランスミッションゲート、バッファの
コントロール端子の論理を見ることになるわけでそうまでしてcasexを使う意味を考えてしまう。