...
When A is asked as top goal, both C and B are added to the goal list of Quaestor. Thus both both C and B should be determined.
In the Workbase this is shown by the fact that (for the example) for both B and C values are request to the user while they do not depent on each other. When the following values are given:
...