On the completeness of the traced monoidal category axioms in (Rel,+)