[machine-check] Command name matching, can it be removed?

One functionality of machine-check is checking whether a particular state of a role has a command.
This checks whether a role's particular state has a command corresponding to its SwarmProtocolType counterpart (which relates to checking whether the swarm protocol can get stuck in the middle, thus halting the swarm)

One part of this functionality checks the command's name.
Unlike the types the command emits, the command's name does not affect how the swarm state changes in any way.
Furthermore, the command name check adds to the process of writing the application's test code.

Is it a good idea to remove the command name matching (and maybe replace it with duplicate name-checking, which will be more valuable in rare cases when the application developer does not use TypeScript) or is it a bad idea and I have missed a context?