seal5.transform.detect_imm_leafs

Modules

collect	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
visitor	Detect immediate-value leaves within instruction behavior.