for X being set holds dom (Dependencies-Order X) = [:(bool X),(bool X):]