Evaluating answer set programming with non-convex recursive aggregates