Why does the Torah use the double Lashon "Im Yatzo Yeitzei ... "?
1.
Makos, 12a: To teach us that there are two Dinim concerning a murderer who leaves the Ir Miklat: If he leaves be'Meizid, he is killed
1
whereas if he leaves be'Shogeg, he is returned safely to the Ir Miklat.