'shift_quantors' is not an E skolemization rule (cf. 3ab503b04bdb)
'shift_quantors' is not an E skolemization rule (cf. 3ab503b04bdb)

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