penso che sia dovuto al fatto che tu non chiami veramente le pagine pippo.php o pluto.php: usi infatti un include che "include" uan delle due pagine nella index.php. Mentre invece una variabile session o un cookie hanno effetto solo se almeno ricarichi la pagina. Quindi pippo.php e pluto.php devono essere due pagine indipendenti da caricare con HEADER:

Codice PHP:
switch ($_GET['op']) {

        case 
"Pippo":
        
header ("Location: pippo.php");
           break;

        case 
"Pluto":
           
header ("Location: pluto.php");
           break;