Updated logic checking IS_EMPTY in assert_body().