Tighter fix for when to use directed connected components: postconditions. New test (existential by hand) and test switch `skip_if !debug`.