Remove dead code
(Assertion.value): removed, since in fact it already exists as P2E.role
 and P2G.role.