Complete conversion of wf module
Complete conversion of arith module