After deal, ISIS allowed to leave Syria-Lebanon border area