Added support for "always @(*)"