seal5.transform.drop_unused

Modules

optimizer

Clean M2-ISA-R/Seal5 metamodel by removing unused constants.

track_uses

Track references used by behavioral expressions.