Circular dependency

[nicobld]

Currently, the circular dependency checking is too simple, and prevents the lsp from working correctly even though there aren't any actual circular dependencies.

library ieee;
use ieee.std_logic_1164.all;

library lib;
use lib.all;

entity a is
end entity;

architecture a_rtl of a is
begin
end;

[libraries]
lib.files = [
  "a.vhd"
]

This is marked as a circular dependency because a.vhd is in lib and lib is included in a.vhd. But it isn't an actual problem, and it is perfectly synthesizable. This error then prevents any goto-definitions and other things.

Would it make sense to fix this and make the circular dependency analyzer more precise ?