filtri sull'obdd a bomba

In ogni caso filtrare prima di vedere l’obdd è un casino
refactoring del codice per visualizzare gli obdd