Add an init_setoid check in rewrite to avoid trying to get undefined references.
Fixes the behavior of reflexivity/symmetry etc... when Setoid is not loaded.