[[1]}]
The following hold: \(\operatorname{WE}\, \prec \, \operatorname{WE}\operatorname{+} \operatorname{REG}\)  and \(\operatorname{WE}\, \prec \, \operatorname{WE}\operatorname{+} \operatorname{LEN}\) .
