SIW: added goal ordering: if all actions adding p edel q, then p must precede q