supports gradual skolemization (cf. Z3) by threading context through correctly
supports gradual skolemization (cf. Z3) by threading context through correctly

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