Declassify

[deaddog]

In ExpressionLabeler:

• If the declassification has an explicit label
  • [ ] Check that the declassification is valid
• If the declassification does not have an explicit label
  • [x] Create new variable label
• [ ] If the declassification is invalid, return the lower bound label