all BNF tests can be part of a normal session because they are much faster now
all BNF tests can be part of a normal session because they are much faster now

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