Avoid duplication of scrutinee in lowered matches (from #860)
Avoid duplication of scrutinee in lowered matches (from #860)

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless