new productions / backward substitution