Fix compilation errors.
Add more trace.
Fix a bug with statistics (end of solving; maybe similar bug in the other solve function).
Do a restart before starting a new call to the model checker.
Add more trace.