fix Skolemizer -- last week's optimizations resulted in UnequalLengths errors
fix Skolemizer -- last week's optimizations resulted in UnequalLengths errors

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