add some asserts to RM