Aggiornato il metodo "check_constraints"