term redefinition and summary reuse checks
style
No contiguous term uses
`.normalize` optimization