We assume that the input to Free Group Rank is freely reduced.