2-bit Counter - Bluespec-systemverilog Typing CST Test