another attempt to get a reduced at-sml-dev-e test;
another attempt to get a reduced at-sml-dev-e test;

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