a_star :: TargetCondition :: heuristic_cost
node
# Approximate cost from `node` to an accept state fun heuristic_cost(node: N, link: Link): Int is abstract