System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics