Differentiating increment inside the if body fails with TBR on

[ovdiiuv]

Differentiating

double f(double val) {
  double res = 0;
  if(val)
    res++;
  return res;
}

with TBR on results in an error.