Fix type inference for CP empty input.