corrected Nbe.static_value: ignore cached compilations; tuned
corrected Nbe.static_value: ignore cached compilations;
tuned

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle