Büchi Complementation and Size-Change Termination -- Learning Minimal Separating DFA's