`print unif_rule;` freezes/bug the feedback of vscode about type checking decorations/info of symbols

[1337777]

BUG: KO absent/frozen type checking feedback in vscode when print unif_rule; appears anywhere in the file. But OK when typechecking in the console via lambdapi check -c

That could easily be an afternoon waster trying to figure out what and when the problem was introduced into the system config (or file!), especially that the file stills compile OK in the console...

System info: Ubuntu x64 VM

lambdapi --version # 2.5.0 vscode version 1.85.1 2023-12-13 lambdapi vscode extension v0.2.3

print unif_rule;

symbol abc: TYPE;
type abc;

[fblanqui]

Hi. Could you please precise what happens when you uncomment the line with print unif_rule? I don't see any problem with vscode 1.96.2.