Aggiunto un nuovo grafo di prova
Modificate le funzioni semantiche della logica e testate (funzionano anche con autosingoletti)