CLaSH.Normalize.DEC
collectGlobals
isDisjoint
mkDisjointGroup