store nesting_bnfs in fp_sugar (required in "nested to mutual" reduction)
store nesting_bnfs in fp_sugar (required in "nested to mutual" reduction)

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