State/The domain topograph has no loops