"Show implemented fields" doesn't always work

[marat-rkh]

Open Equiv.ard in arend-lib and call "Class Hierarchy" on QEquiv:

I expect to see sec as implemented field, but it is not shown at all.

Note that it works in other cases. For example, it works for SplitMono in Category.ard: