Statically Detecting Message Confusions in a Multi-Protocol Setting