We would like to adapt the search component so that it can in more unsuccessful
cases return that the task is unsolvable (not only that it did not find a
solution).

The idea is to analyze the configuration in a task-independent way
so that it can be done by the task-independent components once the component
interaction problem has been resolved.