Automatic addition of confidentiality to DIPLODOCUS channels does not work anymore

The problem can be reproduced with the SMart Card Protocol model