Continue 75349033ed382fdbc6a0cecc926f71df6734da86 (issue #365).

The unit-tests are passing again.
Continue 396f0b5b84e21cdf60cde926963ea9647e1a6e81

Now we display the root cause for every action proposed by the solver. This should improve the user experience quite a bit ...