In Circt, we have an optional attribute (sv.namehint) which may appear in the attribute dictionary of most ops. When running CSE, we want to ignore this attribute for equivalence checks and merge the attribute from removed ops. This is similar to how locations are handled how (with the correct flags). I wasn’t seeing a clean way to do this. Am I missing something? Would there be general support for adding this kind of functionality to the generic CSE?