fix soundness bug in "uncurry" option of Nitpick
fix soundness bug in "uncurry" option of Nitpick

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