Abstraction Using Analysis of Subgames