Bug fix on the dont care calculator.