Interpretation::operator!=(...)
shortening benchmark messages
debugging and fixing propagation defer heuristics
more logical order of initialization for post propagator and realignment of ClaspSolver constructors
fixing incremental model computation, speeding up reportModel

speedup is due to using incremental model in reportModel and by reducing amount of copying that is done.