Update in checkconsistency of solver.cpp to detect spaces correctly