Add a button that culls clauses and nodes that are set to true (simplify). If the setting of the nodes is changed afterwards, they need to reappear.
Add a button that culls clauses and nodes that are set to true (simplify).
If the setting of the nodes is changed afterwards, they need to reappear.