added helper function (that solves chicken-and-egg problem w.r.t. "callssss")
added helper function (that solves chicken-and-egg problem w.r.t. "callssss")

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