Reducing the confidentiality or increasing the integrity of the result of an expression.
Expressions cannot have associated comments.
Expression whose label is being downgraded.
The label expression must have before the downgrade.
The label after the downgrade.