normalize skolem argument variable names so that they coincide when taking the conjunction
normalize skolem argument variable names so that they coincide when taking the conjunction

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