* add assert_reach_region_*; refactor existing assert_reach_location_* to allow string * rename asserts