I'm not sure if my usage is correct but when I attempt to use this method I get a failure:

terminate called after throwing an instance of 'std::bad_function_call'
  what():  bad_function_call

It seems that the solver is attempting to iterate over a list of heuristics which hasn't been populated.
The error is in on the function invokation on line 74 of integer_search.cc in the SequentialSearch method.
When I use MinimizeIntegerVariableWithLinearScanAndLazyEncoding and provide a "NextDecision" function, the solver runs as expected. I'm using default sat parameters.

I suppose my question is: what is the correct usage of this entry point to the solver? It currently isn't obvious how to load heuristics if they are required by this call into the solver and I couldn't find a sensible way to load heuristics to the solver through the model.Add api. I'm hoping this is a documentation issue it seems likely that it could be a bug.