Counter With Reset and Enable - Verilog Typing CST Test