[IMP] SImplify module getting