let add_info sgn key info ~replace =
match key with
| In InCtrl -> add_in_ctrl sgn info replace
| In (InNum n) -> add_input sgn n info replace
| In (InImpl loc) -> add_impl_input sgn loc info replace
| Out OutRet -> add_out_ret sgn info replace
| Out (OutLoc k) -> add_output sgn k info replace