Grounding Size Predictions for Answer Set Programs