Dexn case of decs_to_i2_correct, with a cheat

it has the same problem as the Dtype case when the remaining
declarations error.