Added threshold on glucose deletion strategy.
Removed expensive check on Solver.
Fixed bug on solving process.
Added trace for enumeration.
Fixed bug on enumeration.
Fixed bug on trace_msg macro.