First-Order Indefinability of Answer Set Programs on Finite Structures