If there is a S on the right, add a new start S0.Remove ∈ rules.Remove unit rules.Add additional variables and rules.