Bug 374 benchmarks
bug 374 fix: assert litVal=desiredVal only for leaf nodes

Conflicts:
	src/decision/justification_heuristic.cpp