disable ConvertDeoptimizeToGuardPhase for snippet graphs containing snippet counters to avoid (silent) deletion of counters on a path terminated by a deopt

function main() {  
  i = 0;  
  while (i < 1000) {
    if (i >= 942) {
      break;
    }  
    i = i + 1;  
  }
  return i;  
}