adder = {
const perEdgeSetWidth = w => e => (e.label = (typeof e.label !== 'object') ? {} : e.label).width = w;
const circ = reqack.hls((a, b, c) =>
(a + b) - ((5 + 7) + c));
const resEdge = circ('a', 'b', 'c');
const g = resEdge.state.root;
resEdge();
g.edges.forEach(perEdgeSetWidth(8));
return g;
}