The function ilc_trace_stop_here is useful when you are running a Solver program from a debugger. With it, you can execute the constraint propagation step by step. A breakpoint can be set for the function ilc_trace_stop_here to stop the program. You do that in this way if you are using dbx, for example:

 (dbx) stop in ilc_trace_stop_here

On some platforms, such as Windows NT, for example, you must prefix an underscore to the name of the function, like this: _ilc_trace_stop_here.