Move wrong instance of REWRITES_CONV to its call site

This ensures that code paths are correct until that function in
realarith module
Lift most  of simpset functions for safety