Fix visibility of Z3 clock encoder function.