Towards Abstraction in ASP with an Application on Reasoning about Agent Policies