Convert simp module until mk_rewrites function