Diminution: On Reducing the Size of Grounding ASP Programs