Add conflict chains to a problem in a proper way.

This commit fixes an issue when a universe item could be added
incorrectly, e.g. with missed parts of a conflict chain. That could lead
to endless loops in the solver.