add some assertion method