change solver errors from incompatibility category to dependency category (more accurate)