the decision pass generates this:
```
; cell counts:
;       2 dff
;      10 input
;    4958 mux
;       2 output
```