adds spec for Proveedor