InfluenceHeuristic abstraction