fix a bug in ClaspSolver; implement a new EA evaluation heuristics