Check for unused at-lintpragma