i think it's absurdly cool that our entire dff reset/enable recognition is this:
```
        [PDff@ff [PMux [PAny@r] [PConst@rv] [PAny@d]]] if ff.reset.is_always(false) =>
            design.add_dff(ff.clone().with_data(d).with_reset_value(ControlNet::Pos(r), rv));
        [PDff@ff [PMux [PAny@r] [PAny@d] [PConst@rv]]] if ff.reset.is_always(false) =>
            design.add_dff(ff.clone().with_data(d).with_reset_value(ControlNet::Neg(r), rv));

        [PBind@ffq [PDff@ff [PMux [PAny@en] [PAny@d] [PAny@q]]]] if ff.enable.is_always(true) && ffq == q =>
            design.add_dff(ff.clone().with_data(d).with_enable(ControlNet::Pos(en)));
        [PBind@ffq [PDff@ff [PMux [PAny@en] [PAny@q] [PAny@d]]]] if ff.enable.is_always(true) && ffq == q =>
            design.add_dff(ff.clone().with_data(d).with_enable(ControlNet::Neg(en)));

```