model-checker : fix soundness of DPOR algorithm if max depth is reached
model-checker : use xbt_free_f instead of a new function which do the same thing
Kill unused variable.
Dumb commit: kill empty line.