Още четирима бойци от „Ислямска Държава” са били убити край източния град Ракка - крепост на групировката в Сирия в последните две години.