seal5.transform.eliminate_rd_cmp_zero

Modules

transform	Remove (rd != 0) checks from M2-ISA-R/Seal5 metamodel.
visitor	Eliminate (rd != 0) checks from behavioral expressions.