Delete LabelExpression.
Use list of labels in SimpleAssertion.
Add two-label constructor to SimpleAssertion.
Use SimpleAssertion for guessing game. Delete GuessingAssertion.
Reorganise classes.