Insterita nuova funzione

Inserito in particolare il check della proprietà riflessiva, e
funzionante.