let add_decl_hyp _ p = p