So far, we only tried for the cdd_intervalpp method, where it seems to produce a standard cdd node (x1-x0) for incorrect inputs.