Unused input ports should be removed.
module fly( input x, // Noncompliant: Input port 'x' is not used output y ); endmodule