'moura' method is also useful for reconstructing skolemization of lambda-lifting of formulas for other provers than Z3
'moura' method is also useful for reconstructing skolemization of lambda-lifting of formulas for other provers than Z3

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