SPARK-2497 Produce "member excludes" irrespective of the fact that class itself is excluded or not.
Check separately for module symbols.