Klever

Kirill Shilimanov suggested a good improvement that will help to investigate code coverage for safes and unknowns, namely to show whether locations where a given entity is referenced are covered themselves. Perhaps, this will require an additional input from Core so that Bridge will not require to calculate this information.