Implementation of the Nielsen transformation for free groups.