adding custom assertion method for a non-empty world