added heuristics for search admissibility