Reflected the change of the muModule ADT in the r2mu and mu2rvm.