| ERROR | LUB of two labels is invalid |
| CAUSE | The result of a least upper bound operation on two labels was not valid. |
| ACTION | Repeat the operation with two different labels. Consult the system encoding file for the values of valid labels. |
| ERROR | LUB of two labels is invalid |
| CAUSE | The result of a least upper bound operation on two labels was not valid. |
| ACTION | Repeat the operation with two different labels. Consult the system encoding file for the values of valid labels. |