DI: Require subprogram definitions to be distinct