explicitly check that at least one argument is present to avoid low-level exception
explicitly check that at least one argument is present to avoid low-level exception

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