Primi test sulla visualizzazione del'albero
Ottenere il predicato e la regola applicata avviene attraverso il nodo