Class VerilogStaticChecker