On Berry's conjectures about the stable order in PCF (Logical Methods in Computer Science, 2012)