Test for partial optimality by pruning + minor fixes