Fixed mistake in handling cases where projected bounds point in the same
direction. Polyhedron additive routine is now strictly more successful
than FM routine on examples that do not involve equality.