in src/node_template.rs [155:157]
fn merge(lch: &SumNodeSmt, rch: &SumNodeSmt) -> SumNodeSmt { SumNodeSmt(lch.0 + rch.0) }