As part of issue1146 (validation of search input), we decided to keep the current requirement that the goal is a non-empty partial state. This excludes the case of a trivially solvable task (empty goal) or trivially unsolvable task (non-conflict-free goal).

In such cases, the translator replaces the task with a trivially (un-)solvable one, so such goals never are generated by ourselves in output.sas.

In the future, we nevertheless want to handle such goals in output.sas for more flexibility in externally generated search input files.