kill(all);

pippo0: pippo1;
pippo1: pippo2;
pippo2: pippo3;
pippo3: pippo0;

ev(pippo3);

ev(pippo3,eval);

ev(pippo3,eval,eval);

ev(pippo3,eval,eval,eval);

ev(pippo3,eval,eval,eval,eval);

ev(pippo3,eval,eval,eval,eval,eval);

ev(pippo3,infeval);