perform no arity check in debug mode so that we get to see the Kodkod problem
perform no arity check in debug mode so that we get to see the Kodkod problem

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