Why is this an issue?

verilator lint_off and verilator lint_on should not be used.

How to fix it

Code examples

Noncompliant code example

// verilator lint_off UNSIGNED
if (`DEF_THAT_IS_EQ_ZERO <= 3) $stop;
// verilator lint_on UNSIGNED