Factorization Properties of Symbolic Unfoldings of Colored Petri Nets