let
candidate_heuristic =
if
!candidate_heuristic <> -1
then
!candidate_heuristic
else
enumerative