let add_concat graph lhs rhs target = 
  let lhs_node = find_node graph lhs in
  let rhs_node = find_node graph rhs in
  let target_node = find_node graph target in
    add lhs_node.outb (OutConcatLeft(rhs, target));
    add rhs_node.outb (OutConcatRight(lhs, target));
    add target_node.inb (InConcat(lhs, rhs))