Several ISIS terrorists were killed in the operation of the Syrian army