Added decision tree -> CDF constraint conversion