Must check for module ports without declarations within the module

[tmatos]

The code below should issue an error:

module invalid(a, b, c);

input a;
output b;

assign b = a;

endmodule

Because of missing declaration of c identifier.