let add_in_top sgn info ~replace =
    add_impl_input sgn (Locations.Zone.top) info replace