adding assert_block initial pass -- next to incorporate it into other assertions