Code review comment for lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD

Should not the if condition that at the same time the query contains deadlocks?

 if(query->getQuantifier() == EG || query->getQuantifier() == AF){
21 + cout << "Lowering constants by greatest common divisor gives wrong answer for EG and AF queries" << endl;
22 + exit(1);
23 + }