Domain population in KMnF3 around the cubic-to-tetragonal phase transition