Refactoring - Tests, Node, Solver and SolverUtils
SolverUtils and DifferenceHeuristic