for a complete ancestral graph is saturated (0)