I'm not sure how likely that is to happen? This should solve it...

    x + max(dev_total_dx, dev_total_dx + dev_dx) < xMin