Support for immediate restict
Verilator has support for immediate assert and assume. Immediate restrict statements should simply be parsed identically but then ignored. So it wouldn't be too hard to add support for it, and it might help getting rid of ifdef blocks in some cases.
Also available in: Atom