I guess the comment should also say that we are checking the existence of domain 0 here specifically, which should always be present on Xen (unless what's stated in the comment already), therefore it's an adequate test of the Xen environment.