fix debilitating bug with lambda lifting in conjectures with outer existential quantifiers
fix debilitating bug with lambda lifting in conjectures with outer existential quantifiers

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