aggiunto esempio OBDD dot