Abstract Interpretation for Generalized Heuristic Search in Model-Based Planning