Bug fix: connected undirected needed in splitting. More variants of test "nested universal", `skip_if` instead of `todo "debug"`.