Proving algorithm symmetry for flows exhibiting symmetry breaking