Thank you, pgj, we will have a look. I have added you to the "nosy list" of this issue, which means that will you be notified of updates related to this issue. If you are not interested in this, please let me know of just remove your name from the nosy list.
Unsolvable tasks are not really invalid inputs; the given goal is well-formed, it is just impossible to reach. So the correct behaviour should be to report the task as unsolvable.
|