continuing https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/14: renamed more occurrences of "label" to "tag". They were hidden as "lab". Remaining occurrences of "lab" should all be related to secrecy labels.
(I accidentally didn't branch off from main, so I merged main into here as well.)
continuing https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/14: renamed more occurrences of "label" to "tag". They were hidden as "lab". Remaining occurrences of "lab" should all be related to secrecy labels. (I accidentally didn't branch off from main, so I merged main into here as well.)