Given Checklist:

• A. G has no useless symbols
• B. G has no unit productions
• C. G has no epsilon productions
• D. Normal form for production is violated