Fixed statistics for incremental ASP.
Minor on statistics.
Fixed compilation error.
Fixed bug on partial model checking.
More stats.
Removed some asserts from gringo numeric format.
Added tests.