stop program when it is analyzing a scop with empty domain