An ASP specializer for statistical bootstrapping