Fixed error and clarified  comments in function 'hasIncompatibleCFG'.
Function did allow incompatible cfgs like:
int foo() { if (...) {return x;} ... return x;}
and disallow compatible cfgs like:
int foo() { if(...) {return x;} else {return x+1;}}