Detect commutative reductions in all the scops before rewriting out of SSA all the...