made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow
made N2M tests conditional, since they appear to cause Isatest timeouts and are kind of slow

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