Issue #1649: Add a test
Fix #1649: Only mixin the DPM for the superinterface on which it is defined