eliminate two FIXMEs in Nitpick's monotonicity check code
eliminate two FIXMEs in Nitpick's monotonicity check code

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