変数 NEGATED_OPS定数

否定したときの比較演算子。比較の否定は比較なので、否定を葉まで押し下げられる。

正準な鍵（conditionKey）も同じ表を引く——文と鍵で押し下げ方が割れると、 同じ文になる条件に別の鍵が付く。