added the externally defined names to the letrecsplitting context