I think our convention is to use a variable name that reflects the algorithm we're using, so `cgia` in this case. Same comment for the `WithoutSymmetryBreaking()` test case.