¿Debe incluirse el personal de alta dirección en el censo laboral para elecciones sindicales?

Buenos días.El personal de alta dirección de una empresa está claro que no se incluye en el censo electoral de unas elecciones a comité. Pero ¿debe incluirse en el censo laboral? (el que determina de cuántos miembros se compone el comité de empresa)
Muchas gracias anticipadas.

Entiendo que no. A no ser que en su contrato se diga lo contrario (que entiendo que no).