Grammar Refinement For Grammar-Based Test Input Generation