model-checker : fix memory leak
model-checker : cleanup