refactor delegation checking algorithms

[mraszyk]

This PR refactors algorithms checking certificate delegations to make them type-correct and thereby also better readable.