Consistency of diagrams.

[eckelmeckel]

There exist some inconsistencies in the diagrams. For example:

• "evidence" and "signedEvidence" (the latter should be replaced).
• "evidenceGeneration" vs. "evidenceGeneration" (the latter is preferred since it denotes an action indicated by a verb, not a noun, as in UML)
• "collectClaims(claimSelection)" should be "collectClaims(claimsDelta, claimSelection)" since the claim selection requires the claims as input, too.
• Alignment of return arrows must be fixed.