As used in subsection (b), section eighteen-a of this article, the term "state employees" does not include those state employees who are employed within the higher education system of the state or within the judicial or legislative branches of the government of this state.
W. Va. Code § 29-22-18b