ourBranching[{ms__module},...] works for diagonal embedding