The independence still holds. Every path from Z starts through A; paths on which A is a noncollider are blocked by conditioning on A, while paths opened at collider A are blocked by the conditioned variables G or D. Conditioning on S creates no route avoiding these blocks.