avoid spurious warning in invisible context, notably Haftmann-Wenzel sandwich;
avoid spurious warning in invisible context, notably Haftmann-Wenzel sandwich;

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