'CifBddEdge' could use more 'BddUtils.free'
Reduces code complexity. Would be more similar to `CifBddSpec`.
issue