To support negative literals in conjunctive goals, we enforce that such atoms are encoded with binary FDR variables (issue1127). Alternatively, we could also compile away goals with an artificial goal action.

This would require to support compilations with auxiliary actions, that get introduced by the translator but need to be removed from the plans by the search component.