let sigma op l =
  match op, l with
    | Sym.In(Left), [x] -> mk_inl x 
    | Sym.In(Right), [x] -> mk_inr x 
    | Sym.Out(Left), [x] -> mk_outl x 
    | Sym.Out(Right), [x] -> mk_outr x 
    | _ -> assert false