pub trait SubtractEdge {
// Required methods
fn simple_subtract_edge_and_update_mucs(&mut self, edge: &Edge);
fn maybe_simple_subtract_edge_and_update_mucs(
&mut self,
edge: &Edge,
all_muc_edges: &Edges,
);
fn do_simple_subtraction_of_edges_and_update_mucs(
&mut self,
all_muc_edges: &Edges,
);
}