FIX Patterns SlotsDefined: with SlotsDefined ancestor or descendant, non
distinct slots