One can also sometimes use Fox calculus, which describes the abelianization of a finite-index normal subgroup of $G$. If this abelianization is infinite, your group is infinite. Johnson's "Presentations of Groups", chapter 12, describes this in detail.