in a local context, also the free variable case needs to be analysed default tip
in a local context, also the free variable case needs to be analysed default tip

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