Add setoid_rewrite_hyp