isl_pip: avoid empty domain during verification