Fixed bug on solving process.
Added trace for enumeration.
Fixed bug on enumeration.
Fixed bug on trace_msg macro.

Solved conflicts:
	src/Solver.cpp
	src/Solver.h
	src/Variables.h
Renaming.
Remove UndefinedCollector and move the corresponding code in BerkminHeuristic.
Further clean up on the heuristic.