generateSecTokLevelRelations for analog sec tokens
generateAlgSLevelRelations for analog AlgS
generateSecScopeLevelRelations for analog SecScopes
generateSecBLevelRelations for analog SecB
enerate semantic correspondences at the level of the assertions
SecTok-PsecTokPropIsDiffFromRSecTokProp: two security token properties which are not technical properties and which have different values are considered different
generate semantic correspondences at the level of alternatives
SecTokIsDiffFrom2: two security token assertions that haven't the same qname are considered different.