Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?