قتل جنديان من قوات الثوري البرية خلال اشتباكات الليلة مع "الانفصاليين" في مدينة كرمانشاه في غرب إيران، وفقا لتقارير وكالة أنباء تسنيم الإيرانية الرسمية.