Finite index subgroups of fully residually free groups

Using graph-theoretic techniques for f.g. subgroups of F^[t] we provide a criterion for a f.g. subgroup of a f.g. fully residually free group to be of finite index. Moreover, we show that this criterion can be checked effectively. As an application we obtain an analogue of GreenbergStallings Theorem for f.g. fully residually free groups, and prove that a f.g. nonabelian subgroup of a f.g. fully residually free group is of finite index in its normalizer and commensurator.