- | Given loc <- flavor -- The NoScSkol says "don't add superclasses"
- , NoScSkol <- ctLocOrigin loc
- = pprTrace "Oh dear! Superclasses of self" (pprEvVarWithType ev) $
- return emptyWorkList
+ | Given loc <- flavor -- The NoScSkol says "don't add superclasses"
+ , NoScSkol <- ctLocOrigin loc -- Very important!
+ = return emptyWorkList