mi viene in mente che c'è una possibilità per evitare di buttar via quel che hai fatto: quandos cegli un utente ricarica la pagina. A quel punto le variabili session iniziano a fare il loro dovere e allora puoi usare gli include al posto degli header....si tratta quindi solo di verificare se hai ricaricato la pagina:

Codice PHP:
if (isset($_POST['Submit'])) {
  
// imposta le variabili $_SESSION
 
switch ($_GET['op']) {
    case 
"Pippo":
       include (
"pippo.php");
       break;

    case 
"Pluto":
       include (
"pluto.php");
       break;
  }